BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @techreport{TUW-137481, author = {Blieberger, Johann and Scholz, Bernhard}, title = {Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)}, institution = {E191 - Institute of Computer Engineering, E194 - Institute of Information Systems Engineering; Vienna University of Technology}, year = {1997} } 1 Datensatz ausgegeben