Continuous-time models for system design and analysis

Rajeev Alur, M. Giacobbe, Thomas A. Henzinger, Kim G. Larsen, Marius Mikučionis

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
DOIs	https://doi.org/10.1007/978-3-319-91908-9_22
Publication status	Published - 2019

Access to Document

@inbook{8b23dc505a34471d8990c9e2bb1df697,

title = "Continuous-time models for system design and analysis",

author = "Rajeev Alur and M. Giacobbe and Henzinger, {Thomas A.} and Larsen, {Kim G.} and Marius Miku{\v c}ionis",

year = "2019",

doi = "10.1007/978-3-319-91908-9_22",

language = "English",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - CHAP

T1 - Continuous-time models for system design and analysis

AU - Alur, Rajeev

AU - Giacobbe, M.

AU - Henzinger, Thomas A.

AU - Larsen, Kim G.

AU - Mikučionis, Marius

PY - 2019

Y1 - 2019

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85087454601&partnerID=MN8TOARS

U2 - 10.1007/978-3-319-91908-9_22

DO - 10.1007/978-3-319-91908-9_22

M3 - Chapter

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -