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/acsd/KindermannJN11
%A Kindermann, Roland
%A Junttila, Tommi A.
%A Niemelä, Ilkka
%B ACSD
%D 2011
%E Caillaud, Benoît
%E Carmona, Josep
%E Hiraishi, Kunihiko
%I IEEE Computer Society
%K
%P 185-194
%T Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.
%U http://dblp.uni-trier.de/db/conf/acsd/acsd2011.html#KindermannJN11
%@ 978-0-7695-4387-1
@inproceedings{conf/acsd/KindermannJN11,
added-at = {2023-12-12T23:49:49.000+0100},
author = {Kindermann, Roland and Junttila, Tommi A. and Niemelä, Ilkka},
biburl = {https://www.bibsonomy.org/bibtex/24849da16cdf792fb69b314623210e284/admin},
booktitle = {ACSD},
crossref = {conf/acsd/2011},
editor = {Caillaud, Benoît and Carmona, Josep and Hiraishi, Kunihiko},
ee = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.29},
interhash = {5adef93106b2b4820cf9561835a1687c},
intrahash = {4849da16cdf792fb69b314623210e284},
isbn = {978-0-7695-4387-1},
keywords = {},
pages = {185-194},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T23:49:49.000+0100},
title = {Modeling for Symbolic Analysis of Safety Instrumented Systems with Clocks.},
url = {http://dblp.uni-trier.de/db/conf/acsd/acsd2011.html#KindermannJN11},
year = 2011
}