Search alternatives:
"scr" » "schr", "scar"
Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... environment -- MONA 1.x: New techniques for WS1S and WS2S -- MOCHA: Modularity in modelchecking -- SCR: A...”