Content available in repository
Content available in repository
Search results
-
2023
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, Paris, France, 23rd April 2023
ter Beek, M. H. (Editor) & Dubslaff, C. (Editor), 28 Oct 2023, (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 392)Research output: Book/Report › Book editing › Academic
Open Access -
Theoretical Aspects of Computing - ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Ábrahám, E. (Editor), Dubslaff, C. (Editor) & Tapia Tarifa, S. L. (Editor), 23 Nov 2023, Springer. (Lecture Notes in Computer Science; vol. 14446)Research output: Book/Report › Book editing › Academic
-
2022
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022
Dubslaff, C. (Editor) & Luttik, B. (Editor), 17 Mar 2022, (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 355)Research output: Book/Report › Book editing › Academic
Open AccessFile