scientific article; zbMATH DE number 5043343
From MaRDI portal
Publication:5480657
zbMath1095.68071MaRDI QIDQ5480657
K. M. van Hee, Marc Voorhoeve, Natalia Sidorova
Publication date: 3 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Model checking Petri nets with names using data-centric dynamic systems ⋮ Aligning event logs to resource-constrained \(\nu \)-Petri nets ⋮ Correctness Notions for Petri Nets with Identifiers
This page was built for publication: