Personensuche
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Rabin Games and Colourful Universal Trees:
, In:
?
Proceedings of the IEEE/ACM 46th International Conference on Software Engineering ,
4
Challenges and Opportunities in Model Checking Large-scale ..:
, In:
?
2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE) ,
6
Challenges and Opportunities in Model Checking Large Scale ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
Enhancing GenMC's Usability and Performance:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
13
Making $$\textsf {IP}=\textsf {PSPACE}$$ Practical: Efficie..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
14