Tasuku Nishihara, Takeshi Matsumoto, Masahiro Fujita. Multi-level Bounded Model Checking to detect bugs beyond the bound. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2008, Incline Village, NV, USA, November 19-21, 2008. pages 49-55, IEEE, 2008. [doi]
@inproceedings{NishiharaMF08, title = {Multi-level Bounded Model Checking to detect bugs beyond the bound}, author = {Tasuku Nishihara and Takeshi Matsumoto and Masahiro Fujita}, year = {2008}, doi = {10.1109/HLDVT.2008.4695874}, url = {http://dx.doi.org/10.1109/HLDVT.2008.4695874}, researchr = {https://researchr.org/publication/NishiharaMF08}, cites = {0}, citedby = {0}, pages = {49-55}, booktitle = {IEEE International High Level Design Validation and Test Workshop, HLDVT 2008, Incline Village, NV, USA, November 19-21, 2008}, publisher = {IEEE}, isbn = {978-1-4244-2922-6}, }