scientific article
From MaRDI portal
Publication:2769607
zbMath0978.68547MaRDI QIDQ2769607
Thomas Mailund, Søren Christensen, Lars Michael Kristensen
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310450
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 (5)
A decision diagram operation for reachability ⋮ The sweep-line state space exploration method ⋮ Extended beam search for non-exhaustive state space analysis ⋮ A sweep-line algorithm for the inclusion hierarchy among circles ⋮ Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Uses Software
This page was built for publication:
