scientific article; zbMATH DE number 1012604

zbMATH Open0863.00044MaRDI QIDQ4337610FDOQ4337610

Authors:

Publication date: 22 May 1997

Title of this publication is not available (Why is that?)

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)

• Title not available (Why is that?)
• 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)