The following pages link to (Q4518414):
Displaying 8 items.
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- Sharing actions and attributes in modal action logic (Q5096239) (← links)
