Author:
Ajami K.,Haddad S.,Ilié J. -M.
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional verification of asynchronous concurrent systems using CADP;Acta Informatica;2015-04-22
2. Discovering Symmetries;Formal Methods: Applications and Technology;2007
3. Symmetry in temporal logic model checking;ACM Computing Surveys;2006-09-30
4. A Model Checking Method for Partially Symmetric Systems;IFIP Advances in Information and Communication Technology;2000
5. Exploiting Symmetry in Protocol Testing;IFIP Advances in Information and Communication Technology;1998