Talks and Poster Presentations (with Proceedings-Entry):
M. Reza Shoaei, L. Kovacs, B. Lennartson:
"Supervisory Control of Discrete-Event Systems via {IC3}";
Talk: Haifa Verification Conference HVC 2014,
Haifa, Isral;
2014-11-18
- 2014-11-20; in: "Proceedings of the-10th International Haifa Verification Conference - Conference on Hardware and Software: Verification and Testing (HVC)",
E. Yahav (ed.);
Springer Lecture Notes in Computer Science,
8855
(2014),
ISBN: 978-3-319-13337-9;
252
- 266.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-13338-6_19
Created from the Publication Database of the Vienna University of Technology.