scientific article; zbMATH DE number 2102707
From MaRDI portal
Publication:4817545
zbMath1046.68592MaRDI QIDQ4817545
Thomas A. Henzinger, Sriram K. Rajamani, Shaz Qadeer
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Uses Software
This page was built for publication:
