Object-oriented specification of reactive systems

H.-M. Järvinen, R. Kurki-Suonio, M. Sakkinen, K. Systä

Research output: Book/Report › Commissioned report

Translated title of the contribution	Object-oriented specification of reactive systems
Original language	English
Place of Publication	Tampere
Publisher	Tampere University of Technology
Publication status	Published - 1989
Publication type	D4 Published development or research report or study

Name	TUT/Software Systems Laboratory, Report
Publisher	Tampere University of Technology
No.	6

Publication forum classification

@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 -