The DisCo Language and Temporal Logic of Actions

Julkaisun otsikon käännös: The DisCo Language and Temporal Logic of Actions

Tutkimustuotos: Tutkimusraportti

Julkaisun otsikon käännös	The DisCo Language and Temporal Logic of Actions
Alkuperäiskieli	Englanti
Kustantaja	Tampere University of Technology
Tila	Julkaistu - 1990
OKM-julkaisutyyppi	D4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Nimi	Tampere University of Technology, Software Systems Laboratory, Report 11
Kustantaja	Tampere University of Technology

Julkaisufoorumi-taso

@book{a4499cff3f29495d97c083fb2a70bdd7,

title = "The DisCo Language and Temporal Logic of Actions",

author = "H.-M. J{\"a}rvinen and R. Kurki-Suonio",

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

year = "1990",

language = "English",

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

publisher = "Tampere University of Technology",

}

TY - BOOK

T1 - The DisCo Language and Temporal Logic of Actions

AU - Järvinen, H.-M.

AU - Kurki-Suonio, R.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1990

Y1 - 1990

M3 - Commissioned report

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

BT - The DisCo Language and Temporal Logic of Actions

PB - Tampere University of Technology

ER -