ℹ️
🇬🇧
Search
Search for publications relevant for "Reducts"
Reducts
Publication
Class
Person
Publication
Programmes
Model Checking and Reduction of Behavior Protocols
Publication at Faculty of Mathematics and Physics
|
2006
1 person
Abstract
Model Checking and Reduction of Behavior Protocols
Keywords
Model
Checking
Reduction
Behavior
Protocols
Person
person
RNDr. Ondřej Šerý Ph.D.
Faculty of Mathematics and Physics