scientific article
From MaRDI portal
zbMath0765.68114MaRDI QIDQ4037384
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
An efficient algorithm for computing bisimulation equivalence, Abstraction and Abstraction Refinement, On the expressiveness and decidability of o-minimal hybrid systems, \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes, Simulation relations and applications in formal methods, Equivalence checking 40 years after: a review of bisimulation tools, Weighted o-minimal hybrid systems, Discrete-time control for rectangular hybrid automata, The algorithmic analysis of hybrid systems, Hybrid automata with finite bisimulations, Rank-Based Symbolic Bisimulation, Using heuristic search for finding deadlocks in concurrent systems
