Pace, G. J., Schneider, G., & Fifth International Conference on Verification, M. C. a. A. I. (2004). Model checking polygonal differential inclusions using invariance kernels. https://doi.org/10.1007/978-3-540-24622-0_11
Παραπομπή σε μορφή Chicago (17η εκδ.)Pace, Gordon J., Gerardo Schneider, και Model Checking and Abstract Interpretation Fifth International Conference on Verification. Model Checking Polygonal Differential Inclusions Using Invariance Kernels. 2004. https://doi.org/10.1007/978-3-540-24622-0_11.
Παραπομπή σε μορφή MLA (9th εκδ.)Pace, Gordon J., et al. Model Checking Polygonal Differential Inclusions Using Invariance Kernels. 2004. https://doi.org/10.1007/978-3-540-24622-0_11.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.