Automated symbolic reachability analysis; with application to delta-notch signaling automata. (2003)

by R Ghosh, A Tiwari, C Tomlin
Venue:In Lecture Notes in Computer Science,