Treffer: Verification of resource constraints for concurrent workflows

Title:
Verification of resource constraints for concurrent workflows
Authors:
Jingfu Zhong, Binheng Song
Source:
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05) Symbolic and Numerical Algorithms for Scientific Computing Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on. :8 pp. 2005
Relation:
Proceedings. Seventh International Symposium on Symbolic and Numerical Algorithms for Scientific Computing
Database:
IEEE Xplore Digital Library