Search results
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Tools in Scientific Workflow Composition > 301-312
Lecture Notes in Business Information Processing > Enterprise Information Systems > Invited Papers > 3-15
Lecture Notes in Computer Science > Current Trends in Web Engineering > Sixth Model-Driven Web Engineering Workshop (MDWE) > 37-48
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Tools in Scientific Workflow Composition > 340-354