scientific article; zbMATH DE number 5044575
From MaRDI portal
Publication:5481211
zbMath1140.91474MaRDI QIDQ5481211
Publication date: 8 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Scenario-based verification of real-time systems using UPPAAL ⋮ Verifying Communication Protocols Using Live Sequence Chart Specifications
This page was built for publication: