Compositional Failure-Based Semantic Models for Basic LOTOS

A. Valmari, M. Tiensuu

Research output: Book/Report › Commissioned report

Translated title of the contribution	Compositional Failure-Based Semantic Models for Basic LOTOS
Original language	English
Place of Publication	Tampere
Publisher	Tampere University of Technology
Number of pages	25
Publication status	Published - 1993
Publication type	D4 Published development or research report or study

Name	Tampere University of Technology, Software Systems Laboratory, Report
Publisher	Tampere University of Technology
No.	16

Publication forum classification

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