scientific article
From MaRDI portal
Publication:2722027
zbMath0966.68119MaRDI QIDQ2722027
Hugo Lourenço, Amílcar Sernadas
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Categories of machines, automata (18B20)
Related Items
Continuity as a computational effect, Networks of hybrid open systems, Bisimulation relations for dynamical, control, and hybrid systems
