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/vlsi/BurchCL91
%A Burch, Jerry R.
%A Clarke, Edmund M.
%A Long, David E.
%B VLSI
%D 1991
%E Halaas, Arne
%E Denyer, Peter B.
%I North-Holland
%K dblp
%P 49-58
%T Symbolic Model Checking with Partitioned Transistion Relations.
%U http://dblp.uni-trier.de/db/conf/vlsi/vlsi1991.html#BurchCL91
%V A-1
%@ 0-444-89019-X
@inproceedings{conf/vlsi/BurchCL91,
added-at = {2019-08-02T00:00:00.000+0200},
author = {Burch, Jerry R. and Clarke, Edmund M. and Long, David E.},
biburl = {https://www.bibsonomy.org/bibtex/244459224c2695ffa1ff2608963f199ed/dblp},
booktitle = {VLSI},
crossref = {conf/vlsi/1991},
editor = {Halaas, Arne and Denyer, Peter B.},
interhash = {39b8ca7cc8c5166618f305a1be96f1cf},
intrahash = {44459224c2695ffa1ff2608963f199ed},
isbn = {0-444-89019-X},
keywords = {dblp},
pages = {49-58},
publisher = {North-Holland},
series = {IFIP Transactions},
timestamp = {2019-08-03T11:37:23.000+0200},
title = {Symbolic Model Checking with Partitioned Transistion Relations.},
url = {http://dblp.uni-trier.de/db/conf/vlsi/vlsi1991.html#BurchCL91},
volume = {A-1},
year = 1991
}