1
Concurrency, Compositionality, and Correctness [E-Book] : Essays in Honor of Willem-Paul de Roever /
Other Personal Name(s): “...Dams, Dennis...”

Full text 
Favorites
Saved in:
2
FM 2009: Formal Methods [E-Book] : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Other Personal Name(s): “...Dams, Dennis R....”

Full text 
Favorites
Saved in:
3
Theoretical and Practical Aspects of SPIN Model Checking [E-Book] : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedings /
Other Personal Name(s): “...Dams, Dennis....”

Full text 
Favorites
Saved in:

Narrow Search Results