Safety for branching time semantics
| Contribuinte(s) |
Springer |
|---|---|
| Data(s) |
1991
|
| Identificador | |
| Idioma(s) |
英语 |
| Publicador |
Springer Berlin / Heidelberg Springer Berlin / Heidelberg |
| Fonte |
A. Bouajjani,J. C. Fernandez,S. Graf,C. Rodriguez,J. Sifakis.Safety for branching time semantics.Berlin / Heidelberg:Springer.1991 |
| Tipo |
专著章节/文集论文 |
