%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 }