Search for persons
X
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
1
Pushdown Normal-Form Bisimulation: A Nominal Context-Free A..:
, In:
?
Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science ,
2