Computer-Aided Verification of Coordinating Processes

by Robert P. Kurshan

Hardcover

details (USA).

ISBN: 978-0-691-03436-2

ISBN-10: 0-691-03436-2

Princeton University Press · 1995