Author:
Amadio Roberto M.,Lugiez Denis
Publisher
Springer Berlin Heidelberg
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14
2. Computing knowledge in equational extensions of subterm convergent theories;Mathematical Structures in Computer Science;2020-03-02
3. Even Simple π-Calculus Processes Are Difficult to Analyze;Automatic Control and Computer Sciences;2019-12
4. Bounded memory protocols;Computer Languages, Systems & Structures;2014-10
5. Bounded Memory Dolev-Yao Adversaries in Collaborative Systems;Lecture Notes in Computer Science;2011