Tampere University of Technology

TUTCRIS Research Portal

Abstractions and Logical Layers in Specifications of Reactive Systems

Research output: Book/ReportDoctoral thesisCollection of Articles

Standard

Abstractions and Logical Layers in Specifications of Reactive Systems. / Mikkonen, T.

Tampere : Tampere University of Technology, 1999. 122 p. (Tampereen teknillinen korkeakoulu. Julkaisuja; No. 249).

Research output: Book/ReportDoctoral thesisCollection of Articles

Harvard

Mikkonen, T 1999, Abstractions and Logical Layers in Specifications of Reactive Systems. Tampereen teknillinen korkeakoulu. Julkaisuja, no. 249, Tampere University of Technology, Tampere.

APA

Mikkonen, T. (1999). Abstractions and Logical Layers in Specifications of Reactive Systems. (Tampereen teknillinen korkeakoulu. Julkaisuja; No. 249). Tampere: Tampere University of Technology.

Vancouver

Mikkonen T. Abstractions and Logical Layers in Specifications of Reactive Systems. Tampere: Tampere University of Technology, 1999. 122 p. (Tampereen teknillinen korkeakoulu. Julkaisuja; 249).

Author

Mikkonen, T. / Abstractions and Logical Layers in Specifications of Reactive Systems. Tampere : Tampere University of Technology, 1999. 122 p. (Tampereen teknillinen korkeakoulu. Julkaisuja; 249).

Bibtex - Download

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

}

RIS (suitable for import to EndNote) - Download

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 -