scientific article; zbMATH DE number 1796141
From MaRDI portal
Publication:4551160
zbMath0991.68554MaRDI QIDQ4551160
Giorgio Delzanno, Laurent Van Begin, Jean-François Raskin
Publication date: 4 September 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020298
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Uses Software
