Publicaties
Recent
Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M.
, Remke, A., Schön, O., Schupp, S., Soudjani, S.
, & Willemsen, L. (2022).
ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, M. Althoff, E. Schoitsch, & J. Guiochet (Eds.),
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). (EPiC Series in Computing; Vol. 90). EasyChair.
https://doi.org/10.29007/lsvc
Pure Link
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 5042
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
5042
Postbus 217
7500 AE Enschede