Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Ernst-Rüdinger Olderog, Anders Peter Ravn, Rafal Wisniewski

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Series	NASA Monographs in Systems and Software Engineering
ISSN	1860-0131

Access to Document

@inbook{721a0cc8714d4fa1b26306baf99dba64,

title = "Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers",

author = "Ernst-R{\"u}dinger Olderog and Ravn, {Anders Peter} and Rafal Wisniewski",

year = "2017",

doi = "10.1007/978-3-319-48628-4_5",

language = "English",

isbn = "978-3-319-48627-7",

series = "NASA Monographs in Systems and Software Engineering",

pages = "95--120",

booktitle = "Provably Correct Systems",

publisher = "Springer",

address = "Germany",

}

TY - CHAP

T1 - Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

AU - Olderog, Ernst-Rüdinger

AU - Ravn, Anders Peter

AU - Wisniewski, Rafal

PY - 2017

Y1 - 2017

U2 - 10.1007/978-3-319-48628-4_5

DO - 10.1007/978-3-319-48628-4_5

M3 - Book chapter

SN - 978-3-319-48627-7

T3 - NASA Monographs in Systems and Software Engineering

SP - 95

EP - 120

BT - Provably Correct Systems

PB - Springer

ER -