ℹ️
🇬🇧
Search
Search for publications relevant for "Behavioral changes"
Behavioral changes
Publication
Class
Person
Publication
Programmes
Distributed Behavior Protocol Checker
Publication
1 person
Abstract
Distributed Behavior Protocol Checker, [http://dsrg.mff.cuni.cz/~poch/dchecker/]
Keywords
Distributed
Behavior
Protocol
Checker
Person
person
RNDr. Tomáš Poch Ph.D.
Faculty of Mathematics and Physics