Nr. 8 (1994): RS-8 Decidability Issues for Petri Nets

Publiceret: 1994-05-17

Artikler