Authorized workflow schemas: deciding realizability...

International Journal on Software Tools for Technology Transfer (STTT) 2014 / 02 Vol. 16; Iss. 1

Authorized workflow schemas: deciding realizability through(mathsf{LTL }(mathsf{F }))model checking

Crampton, Jason, Huth, Michael, Kuo, Jim Huan-Pu
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-012-0269-3
Date:
February, 2014
File:
PDF, 913 KB
english, 2014
Conversion to is in progress
Conversion to is failed