Systems and Software Verification: Model-Checking Techniques and Tools

Laroussinie

von: B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen

Gebunden

ISBN: 978-3-540-41523-7

ISBN-10: 3-540-41523-8

Springer · 2001

S. auch:
2010TaschenbuchSystems and Software Verification: Model-Checking Techniques and Tools