Cited By
View all- Muhammad SBhutto KMajid M(2024)SDN-Based Load Balancing to Achieve Energy Efficiency in Enterprise Networks2024 Global Conference on Wireless and Optical Technologies (GCWOT)10.1109/GCWOT63882.2024.10805670(1-6)Online publication date: 25-Sep-2024
- 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
- Show More Cited By