Automatic verification methods for finite state systems : Konf. International Workshop, Grenoble, France, 12.- 14. juna. 1989 /
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Berlin :
Springer Verlag,
1990
|
| Schlagworte: | |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|
| Beschreibung: | 382 s |
|---|---|
| ISBN: | 3-540-52148-8 |