Autor/in Mantel, Heiko 2 Stephan, Werner Autexier, Serge 1 Balser, Michael 1 Hutter, Dieter 1 Reif, Wolfgang 1 Rock, Georg 1 Schellhorn, Gerhard 1 Stenzel, Kurt 1 Wolpers, Andreas 1 alle zeigenListe einklappen
Simultaneous quantifier elimination Autexier, Serge Mantel, Heiko Stephan, Werner 1998 - TUHH Open Research
VSE: Controlling the complexity in formal software developments Hutter, Dieter Mantel, Heiko Rock, Georg Stephan, Werner Wolpers, Andreas Balser, Michael Reif, Wolfgang 1998 - TUHH Open Research
