Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
N. Elad, S. Rain, N. Immerman, M. Sagiv, L. Kovacs:
"Summing Up Smart Transitions";
Vortrag: 33rd International Conference on Computer Aided Verification (CAV),
Los Angeles, US;
20.07.2021
- 23.07.2021; in: "Proceedings of the 33rd International Conference on Computer Aided Verification (CAV)",
A. Silva, R. Leino (Hrg.);
Springer LNCS,
12759
(2021),
S. 317
- 340.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-81685-8_15
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302665.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.