Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science (2989), Band 2989)

Proceedings

von: Susanne Graf · Laurent Mounier

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-21314-7

ISBN-10: 3-540-21314-7

Springer Berlin Heidelberg · 2008