Adámek, Jiří
Verification of Software Components: Addressing Unbounded Paralelism.
International Journal of Computer and Information Science. Roč. 8, č. 2 (2007), s. 300-309. ISSN 1525-9293
Grant CEP: GA AV ČR 1ET400300504
http://hdl.handle.net/11104/0160567