scientific article; zbMATH DE number 1979555

zbMath1019.68619MaRDI QIDQ4427908

Gianfranco Ciardo, Radu I. Siminiceanu

Publication date: 14 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2517/25170256.htm

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

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07) Graph theory (including graph drawing) in computer science (68R10)

Related Items (3)

Exploiting interleaving semantics in symbolic state-space generation ⋮ Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ Symbolic Reachability Analysis of Integer Timed Petri Nets

Uses Software

• SMART_

This page was built for publication: