EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

goettlinger [2018/07/17 09:11]
goettlinger [Research]
goettlinger [2018/11/23 12:31] (current)
goettlinger [Research]
Line 11: Line 11:
 === Publications === === Publications ===
 == 2017 == == 2017 ==
-[[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s9p1.pdf|Deifel, H. P., Dietrich, C., Göttlinger, M., Milius, S., Lohmann, D., & Schröder, L. (2017). Automatic verification of application-tailored OSEK kernels.]] +  * [[http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/preprints/s9p1.pdf|Deifel, H. P., Dietrich, C., Göttlinger, M., Milius, S., Lohmann, D., & Schröder, L. (2017). Automatic verification of application-tailored OSEK kernels.]] 
-[[https://patents.google.com/patent/US20170188018A1/en|Warzelhan, J. K., & Göttlinger, M. (2017). U.S. Patent Application No. 15/384,556.]]+  * [[https://patents.google.com/patent/US20170188018A1/en|Warzelhan, J. K., & Göttlinger, M. (2017). U.S. Patent Application No. 15/384,556.]]