- Decidability and complexity of Petri nets with unordered data Fernando Rosa-Velardo David de Frutos-Escrig Thu 14 May 2015
- A Scalable Incomplete Test for the Boundedness of UML RT Models Stefan Leue Richard Mayr Wei Wei Sat 02 June 2012
Library Size: 13G (2 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
