The DisCo Language and Temporal Logic of Actions

Research output: Book/Report › Commissioned report

Translated title of the contribution	The DisCo Language and Temporal Logic of Actions
Original language	English
Publisher	Tampere University of Technology
Publication status	Published - 1990
Publication type	D4 Published development or research report or study

Name	Tampere University of Technology, Software Systems Laboratory, Report 11
Publisher	Tampere University of Technology

Publication forum classification

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