Pages that link to "Item:Q5491869"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5491869):
Displayed 9 items.
- Complexity of synthesis of composite service with correctness guarantee (Q439758) (← links)
- Synchronous counting and computational algorithm design (Q896024) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Distributed synthesis for regular and contextfree specifications (Q2249664) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Bounded Synthesis for Petri Games (Q3449635) (← links)
- Distributed Synthesis for Alternating-Time Logics (Q3510801) (← links)
- On Distributed Program Specification and Synthesis in Architectures with Cycles (Q3613067) (← links)
- Synthesis of Fault-Tolerant Distributed Systems (Q3648709) (← links)