Originalsprog | Engelsk |
---|---|
Tidsskrift | Theoretical Computer Science |
Vol/bind | 515 |
Sider (fra-til) | 92-122 |
ISSN | 0304-3975 |
DOI | |
Status | Udgivet - 2 jan. 2014 |
Robust synthesis for real-time systems
Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review
9
Citationer
(Scopus)