External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Time for Traffic Manoeuvres

Christopher Bischopink, Ernst-Rüdiger Olderog. Time for Traffic Manoeuvres. In Anne E. Haxthausen, Wen-ling Huang, Markus Roggenbach, editors, Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday. Volume 14165 of Lecture Notes in Computer Science, pages 163-179, Springer, 2023. [doi]

Authors

Christopher Bischopink

This author has not been identified. Look up 'Christopher Bischopink' in Google

Ernst-Rüdiger Olderog

This author has not been identified. Look up 'Ernst-Rüdiger Olderog' in Google
runs on