Bormann, Jörg
90  Ergebnisse:
Personensuche X
?
2

Comparative Genomics of Eight Fusarium graminearum Strains ..:

Alouane, Tarek ; Rimbert, Hélène ; Bormann, Jörg...
International Journal of Molecular Sciences.  22 (2021)  12 - p. 6257 , 2021
 
?
14

Automated formal verification of processors based on archit..:

, In: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design,
Kühne, Ulrich ; Beyer, Sven ; Bormann, Jörg. - p. 129-136 , 2010
 
?
15

Analyzing k-step induction to compute invariants for SAT-ba..:

, In: Proceedings of the 47th Design Automation Conference,
Thalmaier, Max ; Nguyen, Minh D. ; Wedler, Markus... - p. 176-181 , 2010
 
1-15