Talks and Poster Presentations (with Proceedings-Entry):
E. Bartocci, B. Bonakdarpour, Y. Falcone:
"First International Competition of Software for Runtime Verification";
Talk: 14th International Conference on Runtime Verification,
Canada (invited);
2014-09-22
- 2014-09-25; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification",
(2014),
1
- 9.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-11164-3