%0 Journal Article %1 journals/fuin/HamezTK09 %A Hamez, Alexandre %A Thierry-Mieg, Yann %A Kordon, Fabrice %D 2009 %J Fundam. Informaticae %K dblp %N 3-4 %P 413-437 %T Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation. %U http://dblp.uni-trier.de/db/journals/fuin/fuin94.html#HamezTK09 %V 94

@article{journals/fuin/HamezTK09, added-at = {2020-09-18T00:00:00.000+0200}, author = {Hamez, Alexandre and Thierry-Mieg, Yann and Kordon, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2d3beb1a009ea19a38bf61d2e2cb6440a/dblp}, ee = {https://doi.org/10.3233/FI-2009-137}, interhash = {4eaeff423834de1259512a3b8d691db8}, intrahash = {d3beb1a009ea19a38bf61d2e2cb6440a}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {413-437}, timestamp = {2020-09-19T11:37:37.000+0200}, title = {Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin94.html#HamezTK09}, volume = 94, year = 2009 }