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/date/FrosslKG96
%A Frößl, Jürgen
%A Kropf, Thomas
%A Gerlach, Joachim
%B ED&TC
%D 1996
%I IEEE Computer Society
%K dblp
%P 15-21
%T An Efficient Algorithm for Real-Time Symbolic Model Checking.
%U http://dblp.uni-trier.de/db/conf/date/edtc1996.html#FrosslKG96
%@ 0-8186-7423-7
@inproceedings{conf/date/FrosslKG96,
added-at = {2022-05-20T00:00:00.000+0200},
author = {Frößl, Jürgen and Kropf, Thomas and Gerlach, Joachim},
biburl = {https://www.bibsonomy.org/bibtex/2f004cae93eeb5c2b06d64b3e827afe44/dblp},
booktitle = {ED&TC},
crossref = {conf/date/1996},
ee = {https://dl.acm.org/doi/10.5555/787259.787609},
interhash = {76fde06762e0f9d977640d009231421d},
intrahash = {f004cae93eeb5c2b06d64b3e827afe44},
isbn = {0-8186-7423-7},
keywords = {dblp},
pages = {15-21},
publisher = {IEEE Computer Society},
timestamp = {2024-04-09T12:36:13.000+0200},
title = {An Efficient Algorithm for Real-Time Symbolic Model Checking.},
url = {http://dblp.uni-trier.de/db/conf/date/edtc1996.html#FrosslKG96},
year = 1996
}