%0 Conference Paper %1 conf/apn/RequenoGKHLSS24 %A Requeno, José Ignacio %A Gómez-Martínez, Elena %A Kallwies, Hannes %A Haustein, Melanie %A Leucker, Martin %A Stolz, Volker %A Stünkel, Patrick %B PNSE@Petri Nets %D 2024 %E Köhler-Bussmeier, Michael %E Moldt, Daniel %E Rölke, Heiko %I CEUR-WS.org %K dblp %P 122-131 %T Runtime Verification of Timed Petri Nets. %U http://dblp.uni-trier.de/db/conf/apn/pnse2024.html#RequenoGKHLSS24 %V 3730

@inproceedings{conf/apn/RequenoGKHLSS24, added-at = {2024-07-26T00:00:00.000+0200}, author = {Requeno, José Ignacio and Gómez-Martínez, Elena and Kallwies, Hannes and Haustein, Melanie and Leucker, Martin and Stolz, Volker and Stünkel, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2da4015792793bb4ed691e68bd8ec8350/dblp}, booktitle = {PNSE@Petri Nets}, crossref = {conf/apn/2024pnse}, editor = {Köhler-Bussmeier, Michael and Moldt, Daniel and Rölke, Heiko}, ee = {https://ceur-ws.org/Vol-3730/paper07.pdf}, interhash = {658dd7fe15f077ba0ae4cea2d0483829}, intrahash = {da4015792793bb4ed691e68bd8ec8350}, keywords = {dblp}, pages = {122-131}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-07-29T07:11:01.000+0200}, title = {Runtime Verification of Timed Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pnse2024.html#RequenoGKHLSS24}, volume = 3730, year = 2024 }