BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-287623, author = {Gr{\"u}nbacher, Sophie and Cyranka, Jacek and Islam, Ariful and Tschaikowski, Max and Smolka, Scott A. and Grosu, Radu}, title = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool}, journal = {EPiC Series in Computing}, year = {2019}, volume = {.}, number = {61}, pages = {211--219} } 1 Datensatz ausgegeben