Automating verification of cooperation, control, and design in traffic applications
Damm, Werner and Mikschl, Alfred and Oehlerking, Jens and Olderog, Ernst-Rüdiger and Pang, Jun and Platzer, André and Segelken, Marc and Wirtz, Bernd
Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays
01 / 2007
978-3-540-75220-2
inproceedings
Springer Verlag
Lecture Notes in Computer Science 4700
115-169
Springer Verlag
