Author:
Donaldson Alastair F.,Miller Alice
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Enabling Analysis for Event-B;Lecture Notes in Computer Science;2016
2. Symmetry reduced state classes for time petri nets;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13
3. A lazy approach to symmetry reduction;Formal Aspects of Computing;2010-11
4. Efficient approximate verification of B and Z models via symmetry markers;Annals of Mathematics and Artificial Intelligence;2010-05
5. On the constructive orbit problem;Annals of Mathematics and Artificial Intelligence;2009-09