Symbolic model checking for rectangular hybrid systems (2000)

Cached

Download Links

by Thomas A. Henzinger , Rupak Majumdar
Venue:TACAS 2000: Tools and algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, New-York
Citations:13 - 1 self