Sciweavers

2558 search results - page 95 / 512
» Model Composition Contracts
Sort
View
BPM
2006
Springer
107views Business» more  BPM 2006»
15 years 7 months ago
Workflow Model Compositions Preserving Relaxed Soundness
Juliane Siegeris, Armin Zimmermann
CONCUR
1995
Springer
15 years 7 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen