1. Transformational design and implementation of a new efficient solution to the ready simulation problem;Paige;Sci. Comput. Program.,1996
2. The convenience of tilings;Van Emde Boas,1997
3. Symbolic verification of communication protocols with infinite state spaces using qdds;Boigelot,1996
4. Verification of parametric concurrent systems with prioritised FIFO resource management;Bouajjani;Form. Methods Syst. Des.,2008
5. On the expressiveness of Parikh automata and related models;Cadilhac,2011