| 2007 |
|---|
| 3 | EE | Barbara Jobstmann,
Stefan Galler,
Martin Weiglhofer,
Roderick Bloem:
Anzu: A Tool for Property Synthesis.
CAV 2007: 258-262 |
| 2 | EE | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
DATE 2007: 1188-1193 |
| 1 | EE | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL.
Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007) |
