A New Parallel Composition Operator for Verification Tools

Julkaisun otsikon käännös: A New Parallel Composition Operator for Verification Tools

Tutkimustuotos: Väitöskirja › Collection of Articles

Julkaisun otsikon käännös	A New Parallel Composition Operator for Verification Tools
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Tila	Julkaistu - 2003
OKM-julkaisutyyppi	G5 Artikkeliväitöskirja

Nimi	Tampereen teknillinen yliopisto, Julkaisuja
Kustantaja	Tampere University of Technology
Numero	420

Julkaisufoorumi-taso

@book{af99dcd17cfb4257a6c32b777ef646ff,

title = "A New Parallel Composition Operator for Verification Tools",

author = "Konsta Karsisto",

note = "Awarding institution:Tampere University of Technology",

year = "2003",

language = "English",

series = "Tampereen teknillinen yliopisto, Julkaisuja",

publisher = "Tampere University of Technology",

number = "420",

}