Author:
Abdulla Parosh A.,Delzanno Giorgio
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference66 articles.
1. Abadi, M., Blanchet, B.: Analyzing security protocols with secrecy types and logic programs. J. ACM 52(1), 102–146 (2005)
2. Abdulla, P., Delzanno, G.: Constrained multiset rewriting. In: Proc. of the 6th international workshop on automated verification of infinite-state systems (AVIS’ 2006) (2006)
3. Abdulla, P., Haziza, F., Holik, L.: Parameterized verification through view abstraction. STTT (In this issue) (2016)
4. Abdulla, P.A.: Well (and better) quasi-ordered transition systems. Bull. Symb. Logic 16(4), 457–515 (2010)
5. Abdulla, P.A.: Regular model checking. STTT 14(2), 109–118 (2012)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献