TAP 2009: Short papers
In: ETH technical report, 630, 2009
Online
report
Zugriff:
Titel: |
TAP 2009: Short papers
|
---|---|
Autor/in / Beteiligte Person: | Blanchette, J.C. ; Nipkow, Tobias ; Cama, Benjamin ; Gotlieb, Arnaud ; Andrade-Barroso, Guillermo ; Neumann, Rebecca ; Thies, Michael ; Karstens, Uwe |
Link: | |
Zeitschrift: | ETH technical report, 630, 2009 |
Veröffentlichung: | Swiss Federal Institute of Technology, 2009 |
Medientyp: | report |
DOI: | 10.3929/ethz-a-006835711 |
Schlagwort: |
|
Sonstiges: |
|