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/MeinelS99
%A Meinel, Christoph
%A Stangier, Christian
%B DATE
%D 1999
%I IEEE Computer Society / ACM
%K
%P 760-761
%T Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering.
%U http://dblp.uni-trier.de/db/conf/date/date1999.html#MeinelS99
%@ 0-7695-0078-1
@inproceedings{conf/date/MeinelS99,
added-at = {2023-12-12T20:19:51.000+0100},
author = {Meinel, Christoph and Stangier, Christian},
biburl = {https://www.bibsonomy.org/bibtex/2a86f51b2b70c191457cbc7dc5dc05c70/admin},
booktitle = {DATE},
crossref = {conf/date/1999},
ee = {https://doi.org/10.1145/307418.307454},
interhash = {2db017c6e7fa6f1c4a6e980afb6e6db1},
intrahash = {a86f51b2b70c191457cbc7dc5dc05c70},
isbn = {0-7695-0078-1},
keywords = {},
pages = {760-761},
publisher = {IEEE Computer Society / ACM},
timestamp = {2023-12-12T20:19:51.000+0100},
title = {Increasing Efficiency of Symbolic Model Checking by Accelerating Dynamic Variable Reordering.},
url = {http://dblp.uni-trier.de/db/conf/date/date1999.html#MeinelS99},
year = 1999
}