[Back]


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.