1. Lecture Notes in Computer Science;A. Bouajjani,1997
2. Lecture Notes in Computer Science;A. Bouajjani,1996
3. Bozzelli, L., Křetínský, M., Řehák, V., Strejček, J.: On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems. Technical Report FIMU-RS-2006-05, Faculty of Informatics, Masaryk University, Brno (2006);
4. A full version of the paper presented at FSTTCS 2006
5. Lecture Notes in Computer Science;L. Bozzelli,2005