Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science (2648), Band 2648)

Proceedings

von Various

Taschenbuch

ISBN: 978-3-540-40117-9

ISBN-10: 3-540-40117-2

Springer Berlin Heidelberg · 2008