Publication:4318992
From MaRDI portal
zbMath0938.68717MaRDI QIDQ4318992
Stefania Gnesi, Amar Bouali, Salvatore La Rosa
Publication date: 21 June 2000
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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, ACTLW -- an action-based computation tree logic with unless operator, Using heuristic search for finding deadlocks in concurrent systems, Ugo Montanari and Software Verification