scientific article

zbMath0978.68098MaRDI QIDQ2743711

W. J. Toetenel, R. F. Lutje Spelberg

Publication date: 27 September 2001

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

zbMATH Keywords

model checking of real-time systems

Mathematics Subject Classification ID

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

Related Items (1)

Automated verification of an audio-control protocol using UPPAAL

This page was built for publication: