Talks and Poster Presentations (with Proceedings-Entry):
K. Claessen, J. Kilhamn, L. Kovacs, B. Lennartson:
"A Supervisory Control Algorithm Based on Property-Directed Reachability";
Talk: 13th International Haifa Verification Conference (HVC 2017),
Haifa, Israel;
2017-11-13
- 2017-11-15; in: "13th International Haifa Verification Conference (HVC)",
O. Strichman, R. Tzoref-Brill (ed.);
Lecture Notes in Computer Science / Springer,
10629 / Cham
(2017),
ISBN: 978-3-319-70388-6;
115
- 130.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-70389-3_8
Created from the Publication Database of the Vienna University of Technology.