Model Checking Abstract State Machines

Machines

von Kirsten Winter

Taschenbuch

ISBN-13: 978-3-639-01891-2

ISBN-10: 3-639-01891-5

VDM Verlag · 2008