Filtrování

    2005

    1. Timed-Arc Petri Nets vs. Networks of Timed Automata D - Stať ve sborníku
      SRBA, Jiří. Timed-Arc Petri Nets vs. Networks of Timed Automata. In Proceedings of the 26th International Conference on Application and Theory of {P}etri Nets (ICATPN 2005). Netherlands: Springer-Verlag, 2005, s. 385-402.
      Podrobněji: https://is.muni.cz/publication/588243/cs
Zobrazit podrobně