Abstractions and Logical Layers in Specifications of Reactive Systems

Julkaisun otsikon käännös: Abstractions and Logical Layers in Specifications of Reactive Systems

T. Mikkonen

Tutkimustuotos: Väitöskirja › Collection of Articles

Julkaisun otsikon käännös	Abstractions and Logical Layers in Specifications of Reactive Systems
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Sivumäärä	122
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	G5 Artikkeliväitöskirja

Nimi	Tampereen teknillinen korkeakoulu. Julkaisuja
Kustantaja	Tampere University of Technology
Numero	249

Julkaisufoorumi-taso

@book{b435b124f3744c589dc7be0ab73cbcb8,

title = "Abstractions and Logical Layers in Specifications of Reactive Systems",

author = "T. Mikkonen",

note = "Awarding institution:Tampere University of Technology",

year = "1999",

language = "English",

series = "Tampereen teknillinen korkeakoulu. Julkaisuja",

publisher = "Tampere University of Technology",

number = "249",

}

TY - BOOK

T1 - Abstractions and Logical Layers in Specifications of Reactive Systems

AU - Mikkonen, T.

N1 - Awarding institution:Tampere University of Technology

PY - 1999

Y1 - 1999

M3 - Doctoral thesis

T3 - Tampereen teknillinen korkeakoulu. Julkaisuja

BT - Abstractions and Logical Layers in Specifications of Reactive Systems

PB - Tampere University of Technology

CY - Tampere

ER -