Author:
Clarke Anne,Campolargo Mario,Karatzas Nikos
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Extrapolating Tree Transformations;Computer Aided Verification;2002
2. Evidence-Based Model Checking;Computer Aided Verification;2002
3. Abstracting WS1S Systems to Verify Parameterized Networks;Tools and Algorithms for the Construction and Analysis of Systems;2000
4. Verification of Parameterized Systems Using Logic Program Transformations;Tools and Algorithms for the Construction and Analysis of Systems;2000
5. Verifying Universal Properties of Parameterized Networks;Lecture Notes in Computer Science;2000