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 |
Externí odkaz: |