%0 Conference Paper %1 conf/mbees/BeerGLL13 %A Beer, Adrian %A Georgiev, Todor G. %A Leitner-Fischer, Florian %A Leue, Stefan %B MBEES %D 2013 %E Giese, Holger %E Huhn, Michaela %E Phillips, Jan %E Schätz, Bernhard %I fortiss GmbH, München %K dblp %P 60-69 %T Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. %U http://dblp.uni-trier.de/db/conf/mbees/mbees2013.html#BeerGLL13

@inproceedings{conf/mbees/BeerGLL13, added-at = {2017-08-17T00:00:00.000+0200}, author = {Beer, Adrian and Georgiev, Todor G. and Leitner-Fischer, Florian and Leue, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/28e31bb3628e3ef8bea6e34e0760755c5/dblp}, booktitle = {MBEES}, crossref = {conf/mbees/2013}, editor = {Giese, Holger and Huhn, Michaela and Phillips, Jan and Schätz, Bernhard}, ee = {http://www4.in.tum.de/~schaetz/papers/MBEES2013.pdf}, interhash = {c0f093b35821131a49704f8103700ea9}, intrahash = {8e31bb3628e3ef8bea6e34e0760755c5}, keywords = {dblp}, pages = {60-69}, publisher = {fortiss GmbH, München}, timestamp = {2017-08-18T11:43:09.000+0200}, title = {Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models.}, url = {http://dblp.uni-trier.de/db/conf/mbees/mbees2013.html#BeerGLL13}, year = 2013 }