scientific article; zbMATH DE number 2086517
From MaRDI portal
Publication:4736998
zbMath1057.68644MaRDI QIDQ4736998
Lenore D. Zuck, Amir Pnueli, Yonit Kesten
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2294/22940208.htm
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 (2)
Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths
This page was built for publication:
