Pages that link to "Item:Q744103"
From MaRDI portal
The following pages link to A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103):
Displayed 4 items.
- A mechanism of function calls in MSVL (Q344760) (← links)
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- A sound and complete proof system for a unified temporal logic (Q2197533) (← links)
- Index set expressions can represent temporal logic formulas (Q2317353) (← links)