Robust synthesis for real-time systems

Kim G. Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Theoretical Computer Science
Early online date	29 Aug 2013
DOIs	https://doi.org/10.1016/j.tcs.2013.08.015
Publication status	Published - 2013

Access to Document

@article{cae5ed46d0374d999ebe1d686b8f9a49,

title = "Robust synthesis for real-time systems",

author = "Larsen, {Kim G.} and Axel Legay and Louis-Marie Traonouez and Andrzej W{\c a}sowski",

year = "2013",

doi = "10.1016/j.tcs.2013.08.015",

language = "English",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}

TY - JOUR

T1 - Robust synthesis for real-time systems

AU - Larsen, Kim G.

AU - Legay, Axel

AU - Traonouez, Louis-Marie

AU - Wąsowski, Andrzej

PY - 2013

Y1 - 2013

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

U2 - 10.1016/j.tcs.2013.08.015

DO - 10.1016/j.tcs.2013.08.015

M3 - Article

AN - SCOPUS:84883641512

SN - 0304-3975

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -