Search results for: Jacques Duparc
Archive for Mathematical Logic > 2018 > 57 > 3-4 > 195-201
Lecture Notes in Computer Science > Computer Science Logic > Verification and Model Checking > 384-396
Lecture Notes in Computer Science > Computer Science Logic > Probability, Games and Fixpoints > 322-336
Comptes Rendus de l'Academie des Sciences Series I Mathematics > 1999 > 328 > 9 > 735-740