Szukana fraza: [Temat i słowa kluczowe = protocol logic] lub [Temat i słowa kluczowe = probabilistic timed automata] lub [Temat i słowa kluczowe = communication security] lub [Tytuł = Probability timed automata for investigating communication processes] lub [Autor = Piech, Henryk] lub [Autor = Grodzki, Grzegorz]