PyEcdar

swMATH9616MaRDI QIDQ21596FDOQ21596

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-319-02444-8_35

Cited In (2)

• Specification Theories for Probabilistic and Real-Time Systems
• Robust synthesis for real-time systems

This page was built for software: PyEcdar