Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-13T00:15:39.000+0100},
author = {Gerking, Christopher and Schäfer, Wilhelm and Dziwok, Stefan and Heinzemann, Christian},
biburl = {https://www.bibsonomy.org/bibtex/2a2b4a412717409b36d8d82ecdc2649c9/admin},
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 = {},
pages = {18-27},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2023-12-13T00:15:39.000+0100},
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
}