Pages that link to "Item:Q1630985"
From MaRDI portal
The following pages link to A compiler for MSVL and its applications (Q1630985):
Displaying 5 items.
- Efficient decision procedure for propositional projection temporal logic (Q2197530) (← links)
- Translating Xd-C programs to MSVL programs (Q2290648) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)
- Verifying a scheduling protocol of safety-critical systems (Q2424721) (← links)
- A temporal logic programming approach to planning (Q2424818) (← links)
