ℹ️
🇬🇧
Search
Search for publications relevant for "softwarových"
softwarových
Publication
Class
Person
Publication
Programmes
Addressing Unbounded Parallelism in Verification of Software Components
Publication at Faculty of Mathematics and Physics
|
2006
1 person
Abstract
Addressing Unbounded Parallelism in Verification of Software Components
Keywords
Addressing
Unbounded
Parallelism
Verification
Software
Components
Person
person
RNDr. Jiří Adámek
Faculty of Mathematics and Physics
