Your search returned 2 results.

Results
		Concurrency, compositionality, and correctness : essays in honor of Willem-Paul de Roever (e-book) by Dams, Dennis [Editor] \| Hannemann, Ulrich [Editor] \| Steffen, Martin [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.5930 \| LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Theoretical and practical aspects of spin model checking (e-book) by Dams, Dennis [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.1680Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 1999Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search