Informace o publikaci
Linear Temporal Logic: Expressiveness and Model Checking
| Název česky | Lineární temporální logika: vyjadřovací síla a metoda ověřování modelu |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Odborná kniha |
| Fakulta / Pracoviště MU | |
| Citace | |
| Související projekty: |