# | | Year | | Title | Type | |
1 |
| Barnett, Basin, Hesketh [-] |
| |
5 |
| |
6 |
| Barth, Bockmayr [-] |
| |
1 |
| |
1 |
| Barth, Kleine Büning, Weidenbach [Kleine Büning] |
| |
5 |
| |
1 |
| Basin, Brown, Leeser [-] |
| |
| | 1991 | | Formally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250 | Journal Article | |
1 |
| Basin, Bundy, Kraan, Matthews [-] |
| |
1 |
| |
1 |
| Basin, Friedrich [-] |
| |
1 |
| Basin, Friedrich [von Wright, Grundy, Harrison] |
| |
1 |
| Basin, Ganzinger [-] |
| |
1 |
| |
1 |
| Basin, Giunchiglia, Kaufmann (ed.) [Giunchiglia, Kaufmann] |
| |
1 |
| Basin, Giunchiglia, Traverso [-] |
| |
1 |
| Basin, Howe [-] |
| |
1 |
| |
2 |
| Basin, Klarlund [Klarlund] |
| |
1 |
| Basin, Krieg-Brückner [Astesiano, Kreowski, Krieg-Brückner] |
| |
2 |
| Basin, Matthews [-] |
| |
1 |
| Basin, Matthews [Gabbay, Guenthner] |
| |
1 |
| Basin, Matthews [McRobbie, Slaney] |
| |
6 |
| Basin, Matthews, Viganò [-] |
| |
2 |
| Basin, Matthews, Viganò [Basin, Viganò] |
| |
2 |
| |
3 |
| Basin, Walsh [Walsh] |
| |
4 |
| |
1 |
| Baumgartner, Burchardt [Burchardt, Alferes, Leite] |
| |
1 |
| Baumgartner, Fuchs, Tinelli [Tinelli, Schulz, Tammet, Sutcliffe] |
| |