Pages that link to "Item:Q1906037"
From MaRDI portal
The following pages link to A transformation-based synthesis of temporal specification (Q1906037):
Displaying 4 items.
- Extracting unsatisfiable cores for LTL via temporal resolution (Q266863) (← links)
- Past–future separation and normal forms in temporal predicate logic specifications (Q3497515) (← links)
- Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach (Q5145802) (← links)
- Theoretical Computer Science (Q5395079) (← links)