Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
This volume contains the proceedings of a workshop held in Grenoble in June 1989. This was the first workshop entirely devoted to the verification of finite state systems. The workshop brought together researchers and practitioners interested in the development and use of methods, tools and theories...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
407 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Automatic verification methods for finite state systems, international workshop, Grenoble, France, June 12-14, 1989, proceedings, J. Sifakis (Ed.), Berlin, Springer-Verlag, 1990, 1 vol. (VII-382 p.), Lecture notes in computer science, 0-387-52148-8 • Automatic Verification Methods for Finite State Systems, Texte imprimé, 9783662179789 |