Talks and Poster Presentations (with Proceedings-Entry):
N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs:
"Summing Up Smart Transitions";
Talk: 33rd International Conference on Computer Aided Verification (CAV),
Los Angeles, US;
2021-07-20
- 2021-07-23; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)",
A. Silva, R. Leino (ed.);
Springer LNCS,
12759
(2021),
317
- 340.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-81685-8_15
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302665.pdf
Created from the Publication Database of the Vienna University of Technology.