Last edited by Vudosida
Tuesday, May 12, 2020 | History

6 edition of Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 found in the catalog.

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989

J. Sifakis

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989

Proceedings (Lecture Notes in Computer Science)

by J. Sifakis

  • 329 Want to read
  • 3 Currently reading

Published by Springer .
Written in English


The Physical Object
Number of Pages382
ID Numbers
Open LibraryOL7446393M
ISBN 100387521488
ISBN 109780387521480


Share this book
You might also like
Aspire higher

Aspire higher

story of the Telugus and their culture

story of the Telugus and their culture

SUKHJIT STARCH & CHEMICALS LTD. (THE)

SUKHJIT STARCH & CHEMICALS LTD. (THE)

Rachel Carson

Rachel Carson

pocket mirror

pocket mirror

Network flow simulation for urban traffic control system

Network flow simulation for urban traffic control system

bacteriology of Enterobacteriaceae

bacteriology of Enterobacteriaceae

An outcast of the islands

An outcast of the islands

pilgrimage of British farming, 1910-1912

pilgrimage of British farming, 1910-1912

Remembering the Future

Remembering the Future

Disasters, environment, and development

Disasters, environment, and development

Systematisk økonomisk adfærd

Systematisk økonomisk adfærd

Return of the ancients

Return of the ancients

Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12-14, 1989 by J. Sifakis Download PDF EPUB FB2