@inproceedings{Dam2007, Author = {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}, Title = {Automating verification of cooperation, control, and design in traffic applications}, Year = {2007}, Pages = {115-169}, Month = {01}, Editor = {Springer Verlag}, Publisher = {Springer Verlag}, Series = {Lecture Notes in Computer Science 4700}, Isbn = {978-3-540-75220-2}, Booktitle = {Formal Methods and Hybrid Real-Time Systems, Essays Dedicated to Dines Bjoerner and Zhou Chaochen on the Occasion of Their 70th Birthdays}, type = {inproceedings} } @COMMENT{Bibtex file generated on }