Robust synthesis for real-time systems

Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

9 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind515
Sider (fra-til)92-122
ISSN0304-3975
DOI
StatusUdgivet - 2 jan. 2014

Citationsformater