Martin Tomásek
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 10
Publications (10 Years): 10
Publications
- Slavomír Simonák, Martin TomásekACP Semantics for Petri Nets. Comput. Informatics 37 (6) (2018)
- Jana St'astná, Martin Tomásek
- Jana St'astná, Martin Tomásek
- Michal Trnka, Martin Tomásek, Tomás Cerný
- Filip Rysavy, Tomás Cerný, Martin Tomásek
- Martin Tomásek, Tomás Cerný
- Jana St'astná, Ján Juhár, Miroslav Binas, Martin Tomásek
- Martin Tomásek, Tomás Cerný