Dissipative quantum tunneling and absence of quadrupolar freezing in glassy K0.989Li0.011TaO3
Kleemann, W, Schönknecht, V, V, Sommer, D, Rytz, D
Published in Physical review letters (11.02.1991)
Published in Physical review letters (11.02.1991)
Get more information
Journal Article
Verification of Temporal Properties in Automotive Embedded Software
Lettnin, D., Nalla, P.K., Ruf, J., Kropf, T., Rosenstiel, W., Kirsten, T., Schonknecht, V., Reitemeyer, S.
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Published in 2008 Design, Automation and Test in Europe (01.03.2008)
Get full text
Conference Proceeding
Semiformal verification of temporal properties in automotive hardware dependent software
Lettnin, D., Nalla, P.K., Behrend, J., Ruf, J., Gerlach, J., Kropf, T., Rosenstiel, W., Schonknecht, V., Reitemeyer, S.
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Published in 2009 Design, Automation & Test in Europe Conference & Exhibition (01.04.2009)
Get full text
Conference Proceeding