DMCA

Automating verification of cooperation, control, and design in traffic applications (2007)

by Werner Damm , Alfred Mikschl , Jens Oehlerking , Ernst-Rüdiger Olderog , Jun Pang , André Platzer , Marc Segelken , Boris Wirtz
Venue:FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS. VOLUME 4700 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:9 - 6 self