scientific article; zbMATH DE number 5175527
From MaRDI portal
Publication:5295510
zbMath1138.68465MaRDI QIDQ5295510
Robert Clarisó, Jordi Cortadella
Publication date: 30 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Parametric Deadlock-Freeness Checking Timed Automata ⋮ Distributed parametric model checking timed automata under non-zenoness assumption ⋮ An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints ⋮ An Inverse Method for Parametric Timed Automata
Uses Software
This page was built for publication:
