scientific article; zbMATH DE number 1956610
From MaRDI portal
Publication:4417966
zbMath1031.68551MaRDI QIDQ4417966
Nicolas Rapin, Arnault Lapitre, Alain Faivre, Jean-Pierre Gallois, David Lugato, Jean-Yves Pierron, Céline Bigot
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190591.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 (4)
Slicing communicating automata specifications: Polynomial algorithms for model reduction ⋮ AGATHA ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables ⋮ Model-Based Testing for Functional and Security Test Generation
This page was built for publication:
