Počet záznamů: 1
Verification of Software Components: Addressing Unbounded Paralelism
- 1.ADÁMEK, J. Verification of Software Components: Addressing Unbounded Paralelism. International Journal of Computer and Information Science. 2007, 8(2), 300-309. ISSN 1525-9293.
Počet záznamů: 1