Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. https://doi.org/10.1145/3365365.3382198
Chicago Style (17th ed.) Citation"Classic and Non-prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings." Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control . https://doi.org/10.1145/3365365.3382198.
MLA (9th ed.) Citation"Classic and Non-prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings." Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, , https://doi.org/10.1145/3365365.3382198.
Warning: These citations may not always be 100% accurate.