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