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,
- 2014-09-25; in: "Proc. of RV 2014: the 14th International Conference on Runtime Verification",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.