Search for persons
X
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
2
Stack-Aware Hyperproperties:
, In:
?
Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
8
Checking LTL[F,G,X] on compressed traces in polynomial time:
, In:
?
2021 IEEE/CVF International Conference on Computer Vision (ICCV) ,
13