On the verification of business processes by model checking techniques.

Authors :: Sbai, Z.
Missaoui, A.
Barkaoui, K.
Ben Ayed, R.
Source :: 2010 2nd International Conference on Software Technology & Engineering (ICSTE); 2010, pV1-V103, 200p
Publication Year :: 2010

Language :: English
ISBNs :: 9781424486670
Database :: Complementary Index
Journal :: 2010 2nd International Conference on Software Technology & Engineering (ICSTE)
Publication Type :: Conference
Accession number :: 82025902
Full Text :: https://doi.org/10.1109/ICSTE.2010.5608905