%0 Conference Paper %1 conf/ictac/FahrenbergLL13 %A Fahrenberg, Uli %A Larsen, Kim G. %A Legay, Axel %B ICTAC Training School on Software Engineering %D 2013 %E Liu, Zhiming %E Woodcock, Jim %E Zhu, Huibiao %I Springer %K dblp %P 67-108 %T Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2013s.html#FahrenbergLL13 %V 8050 %@ 978-3-642-39720-2

@inproceedings{conf/ictac/FahrenbergLL13, added-at = {2017-05-23T00:00:00.000+0200}, author = {Fahrenberg, Uli and Larsen, Kim G. and Legay, Axel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/205977876793647561f3c3b5df82c9457/dblp}, booktitle = {ICTAC Training School on Software Engineering}, crossref = {conf/ictac/2013s}, editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-642-39721-9_2}, interhash = {b9a39c006ecdca955d84c2564a128200}, intrahash = {05977876793647561f3c3b5df82c9457}, isbn = {978-3-642-39720-2}, keywords = {dblp}, pages = {67-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:35:21.000+0200}, title = {Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2013s.html#FahrenbergLL13}, volume = 8050, year = 2013 }