Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Hi-index | 0.00 |