[Lecture Notes in Computer Science] Advanced Information Systems Engineering Volume 3520 || Verification of EPCs: Using Reduction Rules and Petri Nets
Pastor, Oscar, Falcão e Cunha, JoãoVolume:
10.1007/b1
Year:
2005
Language:
english
DOI:
10.1007/11431855_26
File:
PDF, 232 KB
english, 2005