TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Towards Analysis and Verification of Concurrent Systems by State Space Generation

Tutkimustuotos

Standard

Towards Analysis and Verification of Concurrent Systems by State Space Generation. / Valmari, A.

Tampere : Tampere University of Technology, 1988. (Tampereen teknillinen korkeakoulu. Julkaisuja).

Tutkimustuotos

Harvard

Valmari, A 1988, Towards Analysis and Verification of Concurrent Systems by State Space Generation. Tampereen teknillinen korkeakoulu. Julkaisuja, Tampere University of Technology, Tampere.

APA

Valmari, A. (1988). Towards Analysis and Verification of Concurrent Systems by State Space Generation. (Tampereen teknillinen korkeakoulu. Julkaisuja). Tampere: Tampere University of Technology.

Vancouver

Valmari A. Towards Analysis and Verification of Concurrent Systems by State Space Generation. Tampere: Tampere University of Technology, 1988. (Tampereen teknillinen korkeakoulu. Julkaisuja).

Author

Valmari, A. / Towards Analysis and Verification of Concurrent Systems by State Space Generation. Tampere : Tampere University of Technology, 1988. (Tampereen teknillinen korkeakoulu. Julkaisuja).

Bibtex - Lataa

@book{0c15e3fe91ce44e5acb5016e1417bd51,
title = "Towards Analysis and Verification of Concurrent Systems by State Space Generation",
author = "A. Valmari",
note = "Awarding institution:Tampere University of Technology",
year = "1988",
language = "English",
series = "Tampereen teknillinen korkeakoulu. Julkaisuja",
publisher = "Tampere University of Technology",

}

RIS (suitable for import to EndNote) - Lataa

TY - BOOK

T1 - Towards Analysis and Verification of Concurrent Systems by State Space Generation

AU - Valmari, A.

N1 - Awarding institution:Tampere University of Technology

PY - 1988

Y1 - 1988

M3 - Doctoral thesis

T3 - Tampereen teknillinen korkeakoulu. Julkaisuja

BT - Towards Analysis and Verification of Concurrent Systems by State Space Generation

PB - Tampere University of Technology

CY - Tampere

ER -