Article,
Robust synthesis for real-time systems.
K. Larsen, A. Legay, L. Traonouez, and A. Wasowski.Theor. Comput. Sci., (2014)
Meta data
- BibTeX key
- journals/tcs/LarsenLTW14
- entry type
- article
- year
- 2014
- journal
- Theor. Comput. Sci.
- pages
- 96-122
- volume
- 515
- ee
- https://doi.org/10.1016/j.tcs.2013.08.015
- url
- http://dblp.uni-trier.de/db/journals/tcs/tcs515.html#LarsenLTW14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/tcs/LarsenLTW14
%A Larsen, Kim G.
%A Legay, Axel
%A Traonouez, Louis-Marie
%A Wasowski, Andrzej
%D 2014
%J Theor. Comput. Sci.
%K dblp
%P 96-122
%T Robust synthesis for real-time systems.
%U http://dblp.uni-trier.de/db/journals/tcs/tcs515.html#LarsenLTW14
%V 515
@article{journals/tcs/LarsenLTW14,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Larsen, Kim G. and Legay, Axel and Traonouez, Louis-Marie and Wasowski, Andrzej},
biburl = {https://www.bibsonomy.org/bibtex/2020bf0f6d9201824c4d20ecc8dc9f982/dblp},
ee = {https://doi.org/10.1016/j.tcs.2013.08.015},
interhash = {225fd987166f242c38cdbf0bf68121ed},
intrahash = {020bf0f6d9201824c4d20ecc8dc9f982},
journal = {Theor. Comput. Sci.},
keywords = {dblp},
pages = {96-122},
timestamp = {2024-05-13T07:24:21.000+0200},
title = {Robust synthesis for real-time systems.},
url = {http://dblp.uni-trier.de/db/journals/tcs/tcs515.html#LarsenLTW14},
volume = 515,
year = 2014
}