scientific article; zbMATH DE number 1512628
From MaRDI portal
Publication:4508313
zbMath0961.68093MaRDI QIDQ4508313
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (4)
Automated compositional proofs for real-time systems ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Unnamed Item ⋮ Tool support for learning Büchi automata and linear temporal logic
This page was built for publication:
