Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... Notes in Computer Science (1680), Band 1680)

von: Mieke Massinek · Stefan Leue · Dennis Dams · Robert Gerth Taschenbuch Details (Deutschland) ISBN-13: 978-3-540-66499-4 ISBN-10: 3-540-66499-8 Springer · 2008