scientific article

zbMath0753.00020MaRDI QIDQ4000225

No author found.

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ProceedingsWorkshopNew Brunswick, NJ (USA)DIMACS workshopComputer-aided verification '90

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Related Items

Symbolic model checking: \(10^{20}\) states and beyond