%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 }