@inproceedings{ad2e52728bf140d69439cd8338ef7a05,
title = "Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes",
author = "S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats",
year = "2015",
doi = "10.1007/978-3-319-19249-9_10",
language = "Udefineret/Ukendt",
isbn = "978-3-319-19248-2",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "143--160",
editor = "Nikolaj Bj{\o}rner and {de Boer}, Frank",
booktitle = "FM 2015: Formal Methods",
address = "Schweiz",
note = "null ; Conference date: 24-06-2015 Through 26-06-2015",
}