Towards Device Driver Synthesis
T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
Download
No fulltext has been uploaded.
Dissertation
| Published
| English
Author
Lehmann, Thomas;
Winter, K.
Department
Publishing Year
Series Title / Volume
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
Volume
113
LibreCat-ID
Cite this
Lehmann T, Winter K. Towards Device Driver Synthesis. Vol 113. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
Lehmann, T., & Winter, K. (2002). Towards Device Driver Synthesis (Vol. 113). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
@book{Lehmann_Winter_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Device Driver Synthesis}, volume={113}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
T. Lehmann and K. Winter, Towards Device Driver Synthesis, vol. 113. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
Lehmann, Thomas, and K. Winter. Towards Device Driver Synthesis. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
Google Scholar