ℹ️
🇬🇧
Search
Search for publications relevant for "Distributed system"
Distributed system
Publication
Class
Person
Publication
Programmes
Distributed Behavior Protocol Checker
Publication at Faculty of Mathematics and Physics
|
2006
1 person
Abstract
Distributed Behavior Protocol Checker
Keywords
Distributed
Behavior
Protocol
Checker
Person
person
RNDr. Tomáš Poch Ph.D.
Faculty of Mathematics and Physics
