69–89 Jakubowska Gizela, Penczek Wojciech, Srebrny Marian Verifying security protocols with timestamps via translation to timed automata, 2005, s. 1–14 Kurkowski Mirosław, Penczek Wojciech Applying timed automata to model checking of security protocols, 19 kwietnia 2016, s. 223–254
Przypisy
Kategoria:Absolwenci Politechniki Warszawskiej Kategoria:Członkowie korespondenci PAN Kategoria:Polscy informatycy Kategoria:Polscy inżynierowie Kategoria:Nauczyciele akademiccy Prywatnej Wyższej Szkoły Nauk Społecznych, Komputerowych i Medycznych w Warszawie Kategoria:Nauczyciele akademiccy Uniwersytetu w Siedlcach Kategoria:Dyrektorzy Instytutów Polskich