Partially Defined Lotos Specifications and their Refinement Relations


Autoria(s): Karvi, Timo
Contribuinte(s)

Helsingin yliopisto, matemaattis-luonnontieteellinen tiedekunta, tietojenkäsittelytieteen laitos

University of Helsinki, Faculty of Science, Department of Computer Science

Helsingfors universitet, matematisk-naturvetenskapliga fakulteten, institutionen för datavetenskap

Data(s)

01/12/2000

Identificador

URN:ISBN:952-10-1808-9

http://hdl.handle.net/10138/21352

Idioma(s)

en

Publicador

Helsingin yliopisto

University of Helsinki

Helsingfors universitet

Direitos

Julkaisu on tekijänoikeussäännösten alainen. Teosta voi lukea ja tulostaa henkilökohtaista käyttöä varten. Käyttö kaupallisiin tarkoituksiin on kielletty.

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

Publikationen är skyddad av upphovsrätten. Den får läsas och skrivas ut för personligt bruk. Användning i kommersiellt syfte är förbjuden.

Tipo

Väitöskirja

Doctoral dissertation

Doktorsavhandling

Text