scientific article; zbMATH DE number 1890701

zbMath1010.68524MaRDI QIDQ4800174

Markus Siegle

Publication date: 2 April 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications ⋮ A New Algorithm for Partitioned Symbolic Reachability Analysis

This page was built for publication: