scientific article; zbMATH DE number 1834574

zbMath1005.68528MaRDI QIDQ4779117

Martin Steffen, Natalia Sidorova

Publication date: 24 November 2002

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

zbMATH Keywords

model checkingdata-flow analysisSDLopen reactive systems

Mathematics Subject Classification ID

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

This page was built for publication: