Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings

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


Book Informaton

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

Author

Joseph Sifakis

Series

Lecture Notes in Computer Science

Volume

407

Year of Publication

1990

Publisher

Springer Berlin Heidelberg

Pages

XI, 384

Language

en

ISBN

9783540521488, 9783540469056

ARI Id

1664979636041


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-10
11-23
24-37
38-53
54-67
68-80
81-88
89-96
97-104
105-116
117-132
133-150
151-165
166-178
179-188
189-196
197-212
213-231
232-246
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries