Abstractions and Logical Layers in Specifications of Reactive Systems

Research output: Book/Report › Doctoral thesis › Collection of Articles

Translated title of the contribution	Abstractions and Logical Layers in Specifications of Reactive Systems
Original language	English
Place of Publication	Tampere
Publisher	Tampere University of Technology
Number of pages	122
Publication status	Published - 1999
Publication type	G5 Doctoral dissertation (articles)

Name	Tampereen teknillinen korkeakoulu. Julkaisuja
Publisher	Tampere University of Technology
No.	249

Publication forum classification

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