Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Journal article
-
PN2CCS: A tool to encode Petri nets into calculus of communicating systems
Bogø, B., Burattin, A. & Scalas, A., 2026, In: Science of Computer Programming. 247, 6 p., 103355.Research output: Contribution to journal › Journal article › Research › peer-review
1 Citation (Scopus)