DMCA

Decidability and Complexity of Petri Nets with Unordered Data (2011)

by Fernando Rosa-Velardo , David de Frutos-Escrig
Citations:3 - 1 self