Talks and Poster Presentations (with Proceedings-Entry):
I. Haghighi, A. Jones, J. Kong, E. Bartocci, R. Grosu, C. Belta:
"SpaTeL: A Novel Spatial-Temporal Logic and Its Applications to Networked Systems";
Talk: 18th International Conference on Hybrid Systems: Computation and Control (HSCC),
- 2015-04-15; in: "Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control",
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.