Publication:2754080
From MaRDI portal
zbMath0974.68127MaRDI QIDQ2754080
Richard Trefler, Kedar S. Namjoshi
Publication date: 11 November 2001
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Automated compositional proofs for real-time systems, Automatic symbolic compositional verification by learning assumptions, Tool support for learning Büchi automata and linear temporal logic, Learning Meets Verification, Automatic Synthesis of Assumptions for Compositional Model Checking
Uses Software