[Lecture Notes in Computer Science] Formal Methods for Industrial Critical Systems Volume 6959 || Modeling and Verifying Timed Compensable Workflows and an Application to Health Care

✍ Scribed by Salaün, Gwen; Schätz, Bernhard

• Book ID: 120334241
• Publisher: Springer Berlin Heidelberg
• Year: 2011
• Weight: 328 KB
• Category: Article
• ISBN: 3642244319
• DOI: 10.1007/978-3-642-24431-5_18