Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Kais Klai, Samir Tata, Jörg DeselVolume:
70
Year:
2011
Language:
english
Pages:
16
DOI:
10.1016/j.datak.2011.01.007
File:
PDF, 1.26 MB
english, 2011