[Back]


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


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