[Back]


Talks and Poster Presentations (with Proceedings-Entry):

A. Gurung, D. Kumar, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray:
"Parallel Reachability Analysis for Hybrid Systems";
Talk: Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016, Kanpur, India; 2016-11-18 - 2016-11-20; in: "Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016", (2016), 12 - 22.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1109/MEMCOD.2016.7797741


Created from the Publication Database of the Vienna University of Technology.