Compositional Safety Logics

Kim Guldstrand Larsen, J. H. Andersen

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
StatusUdgivet - 1997
NavnBRICS Report Series
NummerRS-97-13
ISSN0909-0878

Citer dette

Larsen, K. G., & Andersen, J. H. (1997). Compositional Safety Logics. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-97-13
Larsen, Kim Guldstrand ; Andersen, J. H. / Compositional Safety Logics. Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-13).
@book{6f079170003311dab4d5000ea68e967b,
title = "Compositional Safety Logics",
author = "Larsen, {Kim Guldstrand} and Andersen, {J. H.}",
year = "1997",
language = "English",
series = "BRICS Report Series",
number = "RS-97-13",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Larsen, KG & Andersen, JH 1997, Compositional Safety Logics. BRICS Report Series, nr. RS-97-13, Department of Computer Science, Aarhus University, Århus : Daimi.

Compositional Safety Logics. / Larsen, Kim Guldstrand; Andersen, J. H.

Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-13).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - Compositional Safety Logics

AU - Larsen, Kim Guldstrand

AU - Andersen, J. H.

PY - 1997

Y1 - 1997

M3 - Book

T3 - BRICS Report Series

BT - Compositional Safety Logics

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Larsen KG, Andersen JH. Compositional Safety Logics. Århus : Daimi: Department of Computer Science, Aarhus University, 1997. (BRICS Report Series; Nr. RS-97-13).