Pages that link to "Item:Q3673090"
From MaRDI portal
The following pages link to Synthesis of Communicating Processes from Temporal Logic Specifications (Q3673090):
Displaying 5 items.
- Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
- Towards a notion of unsatisfiable and unrealizable cores for LTL (Q433349) (← links)
- Synthesis of Reactive(1) designs (Q439954) (← links)
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Unifying models (Q5047155) (← links)
