scientific article; zbMATH DE number 1069493

zbMath0880.68090MaRDI QIDQ4356446

Howard Barringer, Willem Visser

Publication date: 1 October 1997

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

zbMATH Keywords

ordered binary decision diagramSPIN validation tool

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

A Database Approach to Distributed State Space Generation

This page was built for publication: