%0 Conference Paper %1 conf/ftscs/MarinescuKMSLD14 %A Marinescu, Raluca %A Kaijser, Henrik %A Mikucionis, Marius %A Seceleanu, Cristina %A Lönn, Henrik %A David, Alexandre %B FTSCS %D 2014 %E Artho, Cyrille %E Ölveczky, Peter Csaba %I Springer %K dblp %P 189-205 %T Analyzing Industrial Architectural Models by Simulation and Model-Checking. %U http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#MarinescuKMSLD14 %V 476 %@ 978-3-319-17580-5

@inproceedings{conf/ftscs/MarinescuKMSLD14, added-at = {2016-02-05T00:00:00.000+0100}, author = {Marinescu, Raluca and Kaijser, Henrik and Mikucionis, Marius and Seceleanu, Cristina and Lönn, Henrik and David, Alexandre}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2236ad2908d45beea95335fb60aee0da5/dblp}, booktitle = {FTSCS}, crossref = {conf/ftscs/2014}, editor = {Artho, Cyrille and Ölveczky, Peter Csaba}, ee = {http://dx.doi.org/10.1007/978-3-319-17581-2_13}, interhash = {54db9c7470cad2e2a48a588ba33a9c70}, intrahash = {236ad2908d45beea95335fb60aee0da5}, isbn = {978-3-319-17580-5}, keywords = {dblp}, pages = {189-205}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2016-02-06T10:32:12.000+0100}, title = {Analyzing Industrial Architectural Models by Simulation and Model-Checking.}, url = {http://dblp.uni-trier.de/db/conf/ftscs/ftscs2014.html#MarinescuKMSLD14}, volume = 476, year = 2014 }