scientific article; zbMATH DE number 1012604

MaRDI QIDQ4337610zbMATH OpenFDO

Authors

Publication date 22 May 1997

zbMATH Keywords

DIMACS workshopPartial order methodsPrinceton, NJ (USA)ProceedingsVerificationWorkshop

Mathematics Subject Classification ID

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

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)