×

zbMATH — the first resource for mathematics

Found 10 Documents (Results 1–10)

100
MathJax
Strichman, Ofer (ed.) et al., BMC’2003. Proceedings of the first international workshop on bounded model checking, Boulder, CO, USA, July 13, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 4, 578-592 (2003).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: Link