scientific article; zbMATH DE number 1012604

MaRDI QIDQ4337610zbMATH OpenFDO

Authors

Publication date 22 May 1997

zbMATH Keywords

VerificationProceedingsWorkshopPrinceton, NJ (USA)DIMACS workshopPartial order methods

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited in

(2)

• scientific article; zbMATH DE number 177513 (Why is no real title available?)
• Extended beam search for non-exhaustive state space analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4337610)