%0 Journal Article %1 journals/tc/NopperS13 %A Nopper, Tobias %A Scholl, Christoph %D 2013 %J IEEE Trans. Computers %K dblp %N 6 %P 1234-1254 %T Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns. %U http://dblp.uni-trier.de/db/journals/tc/tc62.html#NopperS13 %V 62

@article{journals/tc/NopperS13, added-at = {2022-08-02T00:00:00.000+0200}, author = {Nopper, Tobias and Scholl, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2d22f3b40b42db5f8d65ffac3b78fc6a4/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TC.2012.53}, interhash = {12f2d30e294217019e27690307894a07}, intrahash = {d22f3b40b42db5f8d65ffac3b78fc6a4}, journal = {IEEE Trans. Computers}, keywords = {dblp}, number = 6, pages = {1234-1254}, timestamp = {2024-04-08T18:29:27.000+0200}, title = {Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc62.html#NopperS13}, volume = 62, year = 2013 }