JTLV

swMATH8859MaRDI QIDQ20857FDOQ20857

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-14295-6_18

Cited In (10)

• Unbeast
• Performance heuristics for GR(1) synthesis and related algorithms
• Effective synthesis of asynchronous systems from GR(1) specifications
• Verification of multi-linked heaps
• Synthesis from scenario-based specifications
• Synthesis of Reactive(1) designs
• QUASY
• RATSY
• IndiGolog
• Agent planning programs

This page was built for software: JTLV