Publication:2723916
From MaRDI portal
zbMath0964.68086MaRDI QIDQ2723916
Michael Leuschel, Thierry Massart
Publication date: 8 July 2001
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N17: Logic programming
Related Items
State space analysis of Petri nets with relation-algebraic methods, Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation, Analysis of Linear Hybrid Systems in CLP
Uses Software