The PaVeS-Group is very happy to announce that Javier Esparza is member of the Program Committe for Petri Nets ’19 as well as Verification, Model Checking, and Abstract Interpretation ’19.
Categories: Conference
Conference
PaVeS @ FoSSaCS’22
The PaVeS group contributed to FoSSaCS’22 with two papers: “Separators in Continuous Petri Nets” by Miachel Blondin and Javier Esparza “Parameterized Analysis of Reconfigurable Broadcast Networks” by A. R. Balasubramanian, Lucie Guillou and Chana Weil-Kennedy
