Formal Properties of Petri's Cycloid Systems.

Autor: Valk, Rüdiger1 (AUTHOR) valk@informatik.uni-hamburg.de, Khomenko, Victor (AUTHOR), Kleijn, Jetty (AUTHOR), Penczek, Wojciech (AUTHOR), Roux, Olivier H. (AUTHOR)
Zdroj: Fundamenta Informaticae. 2019, Vol. 169 Issue 1/2, p85-121. 37p.
Databáze: Academic Search Ultimate