- Tytuł:
- On topological hierarchies of temporal properties
- Autorzy:
-
Baier, Ch.
Kwiatkowska, M. - Data publikacji:
- 2000
- Słowa kluczowe:
-
temporal logic
partial order models
safety
liveness
response and persistence properties
topological characterization - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł