Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
April 28, 2010 | History

Automatic Verification Methods for Finite State Systems 1 edition

Cover of: Automatic Verification Methods for Finite State Systems | Joseph Sifakis

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book

Amazon
Better World Books $3.48 (used)

Jeepers. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Automatic Verification Methods for Finite State Systems
International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)

Published February 1990 by Not Avail .
Written in English.

First Sentence

The theory of process calculi as started with CCS [Mil 80] resulted in a number of verification tools designs, mostly in the case of terms with finitary representation (finite automata) [CPS 89,BoC 88,GLZ 89].

The Physical Object

Format
Paperback
Number of pages
382

ID Numbers

Open Library
OL9800708M
ISBN 10
3540521488
ISBN 13
9783540521488

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page