Compositional Failure-Based Semantic Models for Basic LOTOS

Julkaisun otsikon käännös: Compositional Failure-Based Semantic Models for Basic LOTOS

A. Valmari, M. Tiensuu

Tutkimustuotos: Tutkimusraportti

Julkaisun otsikon käännös	Compositional Failure-Based Semantic Models for Basic LOTOS
Alkuperäiskieli	Englanti
Julkaisupaikka	Tampere
Kustantaja	Tampere University of Technology
Sivumäärä	25
Tila	Julkaistu - 1993
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	Tampere University of Technology, Software Systems Laboratory, Report
Kustantaja	Tampere University of Technology
Numero	16

Julkaisufoorumi-taso

@book{49cdbf3ce74548f9802691bef0ae2580,

title = "Compositional Failure-Based Semantic Models for Basic LOTOS",

author = "A. Valmari and M. Tiensuu",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1993",

language = "English",

series = "Tampere University of Technology, Software Systems Laboratory, Report",

publisher = "Tampere University of Technology",

number = "16",

}

TY - BOOK

T1 - Compositional Failure-Based Semantic Models for Basic LOTOS

AU - Valmari, A.

AU - Tiensuu, M.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1993

Y1 - 1993

M3 - Commissioned report

T3 - Tampere University of Technology, Software Systems Laboratory, Report

BT - Compositional Failure-Based Semantic Models for Basic LOTOS

PB - Tampere University of Technology

CY - Tampere

ER -