Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Konighofer, Bettina"'
Autor:
Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael
Publikováno v:
2014 Formal Methods in Computer-Aided Design (FMCAD); 2014, p35-42, 8p
Autor:
Hofferek, Georg, Gupta, Ashutosh, Konighofer, Bettina, Jiang, Jie-Hong Roland, Bloem, Roderick
Publikováno v:
2013 Formal Methods in Computer-Aided Design; 2013, p77-84, 8p