TASS

swMATH2740MaRDI QIDQ15279FDOQ15279

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-642-02658-4_56

Cited In (2)

• SMT-based scenario verification for hybrid systems
• HyDI

This page was built for software: TASS