Mathieu Lehaut,
Nir Piterman
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
2024
Daniel Hausmann,
Mathieu Lehaut,
Nir Piterman
Lecture Notes in Computer Science (LNCS)
-
2024
J Grange,
Mathieu Lehaut
Lecture Notes in Computer Science (LNCS)
-
2024
Daniel Hausmann,
Mathieu Lehaut,
Nir Piterman
27th International Conference on Foundations of Software Science and Computation Structures
-
2024