Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

Julkaisun otsikon käännös: Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

Tutkimustuotos: Tutkimusraportti

Julkaisun otsikon käännös	Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampereen teknillinen korkeakoulu
Sivumäärä	27
ISBN (painettu)	952-15-0230-4
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti
Kustantaja	Tampereen teknillinen korkeakoulu
Numero	19

Julkaisufoorumi-taso

@book{e47962ab5bb8473c8771287ca14a7c23,

title = "Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach",

author = "T. Aaltonen and R. Pitk{\"a}nen",

note = "ISBN 952-15-0230-4<br/>Contribution: organisation=ohj,FACT1=1",

year = "1999",

language = "English",

isbn = "952-15-0230-4",

series = "Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti",

publisher = "Tampereen teknillinen korkeakoulu",

number = "19",

}

TY - BOOK

T1 - Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

AU - Aaltonen, T.

AU - Pitkänen, R.

N1 - ISBN 952-15-0230-4<br/>Contribution: organisation=ohj,FACT1=1

PY - 1999

Y1 - 1999

M3 - Commissioned report

SN - 952-15-0230-4

T3 - Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti

BT - Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

PB - Tampereen teknillinen korkeakoulu

CY - Tampere

ER -