scientific article; zbMATH DE number 1905114

zbMath1010.68517MaRDI QIDQ4806204

Sharon Barner, Daniel Geist, Anna Gringauze

Publication date: 21 May 2003

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

Mathematics Subject Classification ID

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

Related Items (2)

Abstraction and Abstraction Refinement ⋮ Compositional abstraction refinement for control synthesis

This page was built for publication: