• 165
    Citations - based on content available in repository [source: Scopus]

Content available in repository


Search results

  • 2021


    Groote, J. F., Larsen, K. G., Lang, F., Lecomte, T., Neele, T., Jensen, P. G., Beyer, D. & Rial, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Groote, J. F. & Larsen, K. G. (eds.). Springer, Vol. 1. p. vii-viii (Lecture Notes in Computer Science; vol. 12651).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access