Object-oriented specification of reactive systems

Julkaisun otsikon käännös: Object-oriented specification of reactive systems

Tutkimustuotos: Tutkimusraportti

Julkaisun otsikon käännös	Object-oriented specification of reactive systems
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Tila	Julkaistu - 1989
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	TUT/Software Systems Laboratory, Report
Kustantaja	Tampere University of Technology
Numero	6

Julkaisufoorumi-taso

@book{212ddbc364fb40b5b8ea60322b6c362a,

title = "Object-oriented specification of reactive systems",

author = "H.-M. J{\"a}rvinen and R. Kurki-Suonio and M. Sakkinen and K. Syst{\"a}",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1989",

language = "English",

series = "TUT/Software Systems Laboratory, Report",

publisher = "Tampere University of Technology",

number = "6",

}

TY - BOOK

T1 - Object-oriented specification of reactive systems

AU - Järvinen, H.-M.

AU - Kurki-Suonio, R.

AU - Sakkinen, M.

AU - Systä, K.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1989

Y1 - 1989

M3 - Commissioned report

T3 - TUT/Software Systems Laboratory, Report

BT - Object-oriented specification of reactive systems

PB - Tampere University of Technology

CY - Tampere

ER -