zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

NATO Security through Science Series. D: Information and Communication Security 1. Amsterdam: IOS Press (ISBN 978-1-58603-570-9/hbk). vii, 235 p. (2006).
MSC:  68Q85 68Q60 68-06
BibTeX Cite
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