T. Esch, G. Schorcht, M. Thiel, and S. Dech. In: Bayerisches Staatsministerium für Umwelt, Gesundheit und Verbraucherschutz (StMUGV) und Oberste Baubehörde im Bayerischen Staatsministerium des Inneren (Hrsg.): Tagungsband zum 1. Bayerischen Flächenspar-Forum, 26.-28. September 2007, Laufen. S. 91-95, (2007)
T. Esch, G. Schorcht, M. Thiel, and S. Dech. In: Bayerisches Staatsministerium für Umwelt, Gesundheit und Verbraucherschutz (StMUGV) und Oberste Baubehörde im Bayerischen Staatsministerium des Inneren (Hrsg.): Tagungsband zum 1. Bayerischen Flächenspar-Forum, 26.-28. September 2007, Laufen. S. 91-95, (2007)
I. Berkovits, M. Lazic, G. Losa, O. Padon, and S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, page 245--266. Springer, (2019)#conference.
N. Bertrand, I. Konnov, M. Lazic, and J. Widder. CONCUR, volume 140 of LIPIcs, page 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.
J. Esparza, P. Ganty, R. Majumdar, and C. Weil-Kennedy. 29th International Conference on Concurrency Theory (CONCUR 2018), volume 118 of LIPIcs, page 31:1-31:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.06071.