The design of a specification language for reactive systems

Julkaisun otsikon käännös: The design of a specification language for reactive systems

Tutkimustuotos: Väitöskirja › Monografia

Julkaisun otsikon käännös	The design of a specification language for reactive systems
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Sivumäärä	147
Tila	Julkaistu - 1992
OKM-julkaisutyyppi	G4 Monografiaväitöskirja

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

Julkaisufoorumi-taso

@book{736e35f816ee44a0a10f718f2aeb83ab,

title = "The design of a specification language for reactive systems",

author = "H.-M. J{\"a}rvinen",

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

year = "1992",

language = "English",

series = "Tampereen teknillinen korkeakoulu. Julkaisuja",

publisher = "Tampere University of Technology",

number = "95",

}

TY - BOOK

T1 - The design of a specification language for reactive systems

AU - Järvinen, H.-M.

N1 - Awarding institution:Tampere University of Technology

PY - 1992

Y1 - 1992

M3 - Doctoral thesis

T3 - Tampereen teknillinen korkeakoulu. Julkaisuja

BT - The design of a specification language for reactive systems

PB - Tampere University of Technology

CY - Tampere

ER -