[Lecture Notes in Computer Science] On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE Volume 3760 || Process Mining and Verification of Properties: An Approach Based on Temporal Logic
Meersman, Robert, Tari, ZahirVolume:
10.1007/11
Year:
2005
Language:
english
DOI:
10.1007/11575771_11
File:
PDF, 618 KB
english, 2005