Conference series Beta
Automatic Verification Methods for Finite State Systems
- Events
- 1 (1989)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s12pjpg
Events (1)
19891989
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1989 | Automatic Verification Methods for Finite State Systems AVMFSS | Grenoble | 1989-06-12/14 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) |
|---|
Cite
Automatic Verification Methods for Finite State Systems. confref identifier s12pjpg. https://id.confref.org/series/s12pjpg
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.