scientific article
From MaRDI portal
Publication:2754111
zbMath0974.68566MaRDI QIDQ2754111
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems ⋮ Automated verification and refinement for physical-layer protocols
Uses Software
This page was built for publication:
