scientific article
From MaRDI portal
Publication:3045255
zbMath1047.68555MaRDI QIDQ3045255
Pierre-André Wacrenier, Emmanuelle Encrenaz, Jean-Michel Couvreur, Emmanuel Paviot-Adet, Denis Poitrenaud
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2360/23600101.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)
Related Items (6)
Improving Saturation Efficiency with Implicit Relations ⋮ Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag ⋮ IDD-based model validation of biochemical networks ⋮ Optimized Colored Nets Unfolding ⋮ Hierarchical Set Decision Diagrams and Regular Models
This page was built for publication:
