Author:
Abdulla Parosh Aziz,Jonsson Bengt,Nilsson Marcus,d’Orso Julien,Saksena Mayank
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2002
2. Lecture Notes in Computer Science;P.A. Abdulla,2003
3. Lecture Notes in Computer Science;A. Bouajjani,2000
4. Baukus, K., Lakhnech, Y., Stahl, K.: Verification of parameterized networks. Journal of Universal Computer Science, 7(2) (2001)
5. Lecture Notes in Computer Science;B. Boigelot,2003
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parameterized verification of leader/follower systems via first-order temporal logic;Formal Methods in System Design;2021-11
2. Model Checking Parameterized Systems;Handbook of Model Checking;2018
3. Verification of graph grammars using a logical approach;Science of Computer Programming;2012-04
4. Regular model checking for LTL(MSO);International Journal on Software Tools for Technology Transfer;2011-08-25
5. Extrapolating (omega-)regular model checking;International Journal on Software Tools for Technology Transfer;2011-08-09