Filtrování

    2005

    1. Decidability Issues for Extended Ping-Pong Protocol J - Článek v odborném periodiku
      HUTTEL, Hans a Jiří SRBA. Decidability Issues for Extended Ping-Pong Protocol. Journal of Automated Reasoning. USA: Kluwer, 2005, ?, ?, s. 1-26.
      Podrobněji: https://is.muni.cz/publication/589543/cs
Zobrazit podrobně