An edition of Automatic verification of sequential infinite-state processes (1997)

Automatic Verification of Sequential Infinite-State Processes

by Olaf Burkart

Automatic Verification of Sequential Infinite ...

Olaf Burkart, Olaf Burkart

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 27, 2022 | History

Edit

An edition of Automatic verification of sequential infinite-state processes (1997)

This edition doesn't have a description yet. Can you add one?

Publish Date

2003

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Edition	Availability
1 Automatic Verification of Sequential Infinite-State Processes 2003, Springer London, Limited in English 3540696784 9783540696780	aaaa Locate
2 Automatic verification of sequential infinite-state processes 1997, Springer in English 3540601171 9783540601173	zzzz Locate
3 Automatic verification of sequential infinite-state processes 1997, Springer in English 3540639829 9783540639824	zzzz Locate