Author:
Bouwman Mark,Luttik Bas,Willemse Tim
Publisher
Springer International Publishing
Reference7 articles.
1. Bouwman, M., Luttik, B., Willemse, T.: Off-the-shelf automated analysis of liveness properties for just paths. Acta Informatica 57, 551–590 (2020). https://doi.org/10.1007/s00236-020-00371-w
2. Lecture Notes in Computer Science;O Bunte,2019
3. Cranen, S., Luttik, B., Willemse, T.A.C.: Evidence for fixpoint logic. In: CSL. Volume 41 of LIPIcs, pp. 78–93. Schloß Dagstuhl - Leibniz-Zentrum für Informatik (2015)
4. Dyseryn, V., van Glabbeek, R.J., Höfner, P.: Analysing mutual exclusion using process algebra with signals. In: Peters, K., Tini, S. (eds.) Proceedings of EXPRESS/SOS 2017. Volume 255 of EPTCS, pp. 18–34 (2017)
5. Lecture Notes in Computer Science;R Glabbeek,2019