Charles Explorer logo
🇬🇧

Distributed Behavior Protocol Checker

Publication at Faculty of Mathematics and Physics |
2006

Abstract

Distributed Behavior Protocol Checker