van de Pol, J., Fokkink, W., & van Glabbeek, R. (2019, August 1). Concurrent algorithms and data structures for model checking. Gehalten auf der. Dagstuhl, 2019. https://doi.org/10.4230/lipics.concur.2019.4
ISO-690 (author-date, English)VAN DE POL, Jaco, FOKKINK, Wan und VAN GLABBEEK, Rob, 2019. Concurrent algorithms and data structures for model checking. In: [online]. Dagstuhl, 2019. 1 August 2019. Available from: https://pure.au.dk/portal/en/publications/b81 fea1 b-6 e25-4258-af1 d-c54117 a9 b5 d4
Modern Language Association 9th editionvan de Pol, J., W. Fokkink, und R. van Glabbeek. Concurrent algorithms and data structures for model checking. Dagstuhl, 2019., 2019, https://doi.org/10.4230/lipics.concur.2019.4.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
van de Pol, J., Fokkink, W. und van Glabbeek, R. (2019), „Concurrent algorithms and data structures for model checking“, in , Bd. , Dagstuhl, 2019., verfügbar unter:https://doi.org/10.4230/lipics.concur.2019.4.