%0 Conference Paper %1 conf/models/GerkingSDH15 %A Gerking, Christopher %A Schäfer, Wilhelm %A Dziwok, Stefan %A Heinzemann, Christian %B MoDeVVa@MoDELS %D 2015 %E Famelis, Michalis %E Ratiu, Daniel %E Seidl, Martina %E Selim, Gehan M. K. %I CEUR-WS.org %K dblp %P 18-27 %T Domain-Specific Model Checking for Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/models/modevva2015.html#GerkingSDH15 %V 1514

@inproceedings{conf/models/GerkingSDH15, added-at = {2019-05-28T00:00:00.000+0200}, author = {Gerking, Christopher and Schäfer, Wilhelm and Dziwok, Stefan and Heinzemann, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a2b4a412717409b36d8d82ecdc2649c9/dblp}, booktitle = {MoDeVVa@MoDELS}, crossref = {conf/models/2015modevva}, editor = {Famelis, Michalis and Ratiu, Daniel and Seidl, Martina and Selim, Gehan M. K.}, ee = {http://ceur-ws.org/Vol-1514/paper3.pdf}, interhash = {60e73004ec2a27350be6d969f0bb348e}, intrahash = {a2b4a412717409b36d8d82ecdc2649c9}, keywords = {dblp}, pages = {18-27}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T16:52:19.000+0200}, title = {Domain-Specific Model Checking for Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/models/modevva2015.html#GerkingSDH15}, volume = 1514, year = 2015 }