Towards Analysis and Verification of Concurrent Systems by State Space Generation

Julkaisun otsikon käännös: Towards Analysis and Verification of Concurrent Systems by State Space Generation

A. Valmari

Tutkimustuotos: Väitöskirja › Collection of Articles

Julkaisun otsikon käännös	Towards Analysis and Verification of Concurrent Systems by State Space Generation
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Tila	Julkaistu - 1988
OKM-julkaisutyyppi	G5 Artikkeliväitöskirja

Nimi	Tampereen teknillinen korkeakoulu. Julkaisuja
Kustantaja	Tampere University of Technology

Julkaisufoorumi-taso

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

}

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 -