Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
| Data(s) |
1990
|
|---|---|
| Identificador | |
| Idioma(s) |
中文 |
| Publicador |
Springer-Verlag London, UK Springer-Verlag London, UK |
| Fonte |
Olivier Coudert,Jean Christophe Madre,Christian Berthet.Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.London, UK :Springer-Verlag.1990 |
| Tipo |
专著章节/文集论文 |
