%0 Conference Paper %1 conf/aspdac/XuKHT06 %A Xu, Xingwen %A Kimura, Shinji %A Horikawa, Kazunari %A Tsuchiya, Takehiko %B ASP-DAC %D 2006 %E Hirose, Fumiyasu %I IEEE %K dblp %P 1-6 %T Transition-based coverage estimation for symbolic model checking. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#XuKHT06 %@ 0-7803-9451-8

@inproceedings{conf/aspdac/XuKHT06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Xu, Xingwen and Kimura, Shinji and Horikawa, Kazunari and Tsuchiya, Takehiko}, biburl = {https://www.bibsonomy.org/bibtex/29507aebb4b9ea0db61fc8d49b6ab886d/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2006}, editor = {Hirose, Fumiyasu}, ee = {https://doi.org/10.1145/1118299.1118303}, interhash = {eb23235b3a316102d5b0900b038e0f19}, intrahash = {9507aebb4b9ea0db61fc8d49b6ab886d}, isbn = {0-7803-9451-8}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2019-10-17T16:45:43.000+0200}, title = {Transition-based coverage estimation for symbolic model checking.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2006.html#XuKHT06}, year = 2006 }