Autor/in Fey, Görschwin 2 Martino, Gianluca Riener, Heinz Ghasempouri, Tara 1 Jacobs, Swen 1 Raik, Jaan 1 alle zeigenListe einklappen
Revisiting Explicit Enumeration for Exact Synthesis Martino, Gianluca Riener, Heinz Fey, Görschwin 2020 - TUHH Open Research
Design Understanding: From Logic to Specification* Fey, Görschwin Ghasempouri, Tara Jacobs, Swen Martino, Gianluca Raik, Jaan Riener, Heinz 2018 - TUHH Open Research