Towards Device Driver Synthesis

T. Lehmann, K. Winter, Towards Device Driver Synthesis, Heinz Nixdorf Institut, Universität Paderborn, 2002.

Download
No fulltext has been uploaded.
Dissertation | English
Author
;
Publishing Year
Volume
113
LibreCat-ID

Cite this

Lehmann T, Winter K. Towards Device Driver Synthesis. Vol 113. Heinz Nixdorf Institut, Universität Paderborn; 2002.
Lehmann, T., & Winter, K. (2002). Towards Device Driver Synthesis (Vol. 113). Heinz Nixdorf Institut, Universität Paderborn.
@book{Lehmann_Winter_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Device Driver Synthesis}, volume={113}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Lehmann, Thomas and Winter, K.}, year={2002}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
Lehmann, Thomas, and K. Winter. Towards Device Driver Synthesis. Vol. 113. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Heinz Nixdorf Institut, Universität Paderborn, 2002.
T. Lehmann and K. Winter, Towards Device Driver Synthesis, vol. 113. Heinz Nixdorf Institut, Universität Paderborn, 2002.
Lehmann, Thomas, and K. Winter. Towards Device Driver Synthesis. Heinz Nixdorf Institut, Universität Paderborn, 2002.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar