Alireza Mahzoon. Formale Verifikation von strukturell komplexen Multiplizierern. In Rüdiger Reischuk, Sven Apel, Abraham Bernstein, Felix C. Freiling, Hans-Peter Lenhof, Gustaf Neumann, Kay Uwe Römer, Björn Scheuermann 0001, Nicole Schweikardt, Klaus Wehrle, editors, Ausgezeichnete Informatikdissertationen 2022. Volume D-23 of LNI, pages 191-200, GI, 2022. [doi]
Abstract is missing.