Número de Cutter-SanbornD166tEntrada «Dampi» → 166 · marca de obra “t”

Theoretical and Practical Aspects of SPIN Model Checking

Name: Theoretical and Practical Aspects of SPIN Model Checking
ISBN: 9783540482345

5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

Editorial
Autor	Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek

Theoretical and Practical Aspects of SPIN Model Checking (2003) — ISBN 9783540482345 | Cutter Number