Cited By
View all- Dundua BKapanadze ISeidl H(2024)Prenex Universal First-order Safety PropertiesInformation Processing Letters10.1016/j.ipl.2024.106488(106488)Online publication date: Feb-2024
- Finkbeiner BGieseking MHecking-Harbusch JOlderog E(2020)AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTLComputer Aided Verification10.1007/978-3-030-53291-8_5(64-76)Online publication date: 21-Jul-2020
- Finkbeiner BGieseking MHecking-Harbusch JOlderog E(2019)Model Checking Data Flows in Concurrent Network UpdatesAutomated Technology for Verification and Analysis10.1007/978-3-030-31784-3_30(515-533)Online publication date: 28-Oct-2019
- Show More Cited By