A Hybrid Approach for Business Process Verification.

Bing Li Junichi Iijima A Hybrid Approach for Business Process Verification. 1-9 2007 conf/ifip8/2007-1 CONFENIS (1) http://dx.doi.org/10.1007/978-0-387-75902-9_1 db/conf/ifip8/confenis2007-1.html#LiI07