Cited By
View all- Damas CLambeau BRoucoux Fvan Lamsweerde A(2009)Analyzing critical process models through behavior model synthesisProceedings of the 31st International Conference on Software Engineering10.1109/ICSE.2009.5070543(441-451)Online publication date: 16-May-2009
- Vitvar TMocan AZaremba M(2008)Formal Model for Semantic-Driven Service ExecutionProceedings of the 7th International Conference on The Semantic Web10.1007/978-3-540-88564-1_36(567-582)Online publication date: 26-Oct-2008
- Chen BAvrunin GHenneman EClarke LOsterweil LHenneman P(2011)Analyzing Medical ProcessesEngineering of Software10.1007/978-3-642-19823-6_21(399-417)Online publication date: 2011
- Show More Cited By