Helsingin yliopisto

 

Helsingin yliopiston verkkojulkaisut

University of Helsinki, Helsinki 2004

Partially Defined Lotos Specifications and their Refinement Relations

Timo Karvi

Academic Dissertation, December 2000.
University of Helsinki, Faculty of Science, Department of Computer Science.

  1. As a PDF file (ISBN 952-10-1808-9) - 841 kB

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.

© University of Helsinki 2004

Last updated 28.04.2004/JS

Yhteystiedot, Contact information E-thesis Helsingin yliopisto, University of Helsinki