Laurent Mounier

L.M.

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings978-3-54O-21314-7
(3-54O-21314-7)
2008Susanne Graf

Laurent Msellati