zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Cimatti, Alessandro (ed.) et al., Proceedings of the 1st international workshop on Symbolic model checking (SMC ’99), as part of the 2nd federated logic conference (FLoC ’99). Trento, Italy, July 6, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23(2), Electronic paper No. 8, (1999).
MSC:  68Q60 68M20
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Year of Publication