scientific article; zbMATH DE number 709540
From MaRDI portal
Publication:4318992
zbMath0938.68717MaRDI QIDQ4318992
Stefania Gnesi, Amar Bouali, Salvatore La Rosa
Publication date: 21 June 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Ugo Montanari and Software Verification ⋮ Towards automatic temporal logic verification of value passing process algebra using abstract interpretation ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ ACTLW -- an action-based computation tree logic with unless operator ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ A partition refinement algorithm for the \(\pi\)-calculus ⋮ Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
This page was built for publication: