Clarke, E., Kroening, D., Oukanine, J., Strichman, O.: Completeness and complexity of bounded model checking. In: VMCAI. Volume 2937 of LNCS., Springer (2004) 85--96 Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Completeness Threshold for Bounded Model Checking - Clarke, Kroening.. Self-citation (Clarke Kroening El Ofer) (Correct)
No context found.
Ed Clarke, Daniel Kroening, Joel Ouaknine, and Ofer Strichman. Completeness and complexity of bounded model checking. 2004. To appear.
Incremental and Complete Bounded Model Checking for Full.. - Heljanko, Junttila, Latvala (2005) (Correct)
No context found.
Clarke, E., Kroening, D., Oukanine, J., Strichman, O.: Completeness and complexity of bounded model checking. In: VMCAI. Volume 2937 of LNCS., Springer (2004) 85--96
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
Edmund M. Clarke, Daniel Kroening, Joel Ouaknine, and Ofer Strichman, "Completeness and complexity of bounded model checking," in Proc. of VMCAI'04, January 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC