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 MS00a
%A Meinel, Ch.
%A Sack, H.
%B 4 th Workshop on Tools for System Design and Verification (FM-Tools)
%D 2000
%K mypaper verification
%P pp. 195-196
%T Functional Extensions of OBDDs in Practice
%U http://www.minet.uni-jena.de/%7Esack/publications/abstract.ps
@inproceedings{MS00a,
added-at = {2007-11-29T15:58:18.000+0100},
author = {Meinel, Ch. and Sack, H.},
biburl = {https://www.bibsonomy.org/bibtex/2b5f383e96a1cf6ef67d9ebcf1432f379/lysander07},
booktitle = {4 th Workshop on Tools for System Design and Verification (FM-Tools)},
date = {2000},
description = {Publications of Harald Sack},
interhash = {48ba6878aecfce6114af571aa1952291},
intrahash = {b5f383e96a1cf6ef67d9ebcf1432f379},
keywords = {mypaper verification},
location = {Reisensburg Castle, Germany},
pages = {pp. 195-196},
timestamp = {2009-01-27T15:24:50.000+0100},
title = {Functional Extensions of OBDDs in Practice},
url = {http://www.minet.uni-jena.de/%7Esack/publications/abstract.ps},
year = 2000
}
