Temporal verification of reactive systems : safety /
| Hlavní autor: |
Manna, Zohar
(
Autor )
|
|---|---|
| Další autoři: |
Pnueli, Amir
(
Autor )
|
| Typ dokumentu: | Kniha |
| Jazyk: |
angličtina neurčeno |
| Vydavatel: |
New York :
Springer,
[1995].
|
| Vydání: | 1st ed. |
| Předmět: | |
|
|