scientific article; zbMATH DE number 7020142

zbMath1424.93072MaRDI QIDQ4621142

Elisabeth Pelz, Franck Pommereau, Hanna Klaudel, Maciej Koutny

Publication date: 8 February 2019

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

zbMATH Keywords

state space reductionstate equivalencemulti-threaded systemsstate space computation

Mathematics Subject Classification ID

System structure simplification (93B11)

Related Items (1)

SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)

This page was built for publication: