Closing Open SDL-Systems for Model Checking with DTSpin.

Natalia Ioustinova, Natalia Sidorova, Martin Steffen

Browse the full FM paper archive.