PACE, Gordon J., SCHNEIDER, Gerardo und FIFTH INTERNATIONAL CONFERENCE ON VERIFICATION, Model Checking and Abstract Interpretation, 2004. Model checking polygonal differential inclusions using invariance kernels. In: . ACM. 1 Januar 2004.
Elsevier - Harvard (with titles)Pace, G.J., Schneider, G., Fifth International Conference on Verification, M.C. and A.I., 2004. Model checking polygonal differential inclusions using invariance kernels, in: . ACM. https://doi.org/10.1007/978-3-540-24622-0_11
American Psychological Association 7th editionPace, G. J., Schneider, G., & Fifth International Conference on Verification, M. C. and A. I. (2004, Januar 1). Model checking polygonal differential inclusions using invariance kernels. https://doi.org/10.1007/978-3-540-24622-0_11
Springer - Basic (author-date)Pace GJ, Schneider G, Fifth International Conference on Verification MC and AI (2004) Model checking polygonal differential inclusions using invariance kernels. ACM
Juristische Zitierweise (Stüber) (Deutsch)Pace, Gordon J./ Schneider, Gerardo/ Fifth International Conference on Verification, Model Checking and Abstract Interpretation, Model checking polygonal differential inclusions using invariance kernels, 2004, .