Standard
Compositional Contract Specification for REA. / Henglein, Fritz; Larsen, Ken Friis; Simonsen, Jakob Grue; Stefansen, Christian Oskar Erik.
NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. red. / Einar Broch Johnsen; Olaf Owe; Gerardo Schneider. Universitetet i Oslo, 2007. s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
Harvard
Henglein, F, Larsen, KF, Simonsen, JG & Stefansen, COE 2007, Compositional Contract Specification for REA. i EB Johnsen, O Owe & G Schneider (red), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo, Research report. Universitetet i Oslo. Institutt for informatikk, nr. 366, s. 130-132, Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oslo, Norge, 09/10/2007.
APA
Henglein, F., Larsen, K. F., Simonsen, J. G., & Stefansen, C. O. E. (2007). Compositional Contract Specification for REA. I E. B. Johnsen, O. Owe, & G. Schneider (red.), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway (s. 130-132). Universitetet i Oslo. Research report. Universitetet i Oslo. Institutt for informatikk Nr. 366
Vancouver
Henglein F, Larsen KF, Simonsen JG, Stefansen COE. Compositional Contract Specification for REA. I Johnsen EB, Owe O, Schneider G, red., NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo. 2007. s. 130-132. (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).
Author
Henglein, Fritz ; Larsen, Ken Friis ; Simonsen, Jakob Grue ; Stefansen, Christian Oskar Erik. / Compositional Contract Specification for REA. NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. red. / Einar Broch Johnsen ; Olaf Owe ; Gerardo Schneider. Universitetet i Oslo, 2007. s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).
Bibtex
@inproceedings{89c0494004a811ddbee902004c4f4f50,
title = "Compositional Contract Specification for REA",
abstract = "Invited contribution",
author = "Fritz Henglein and Larsen, {Ken Friis} and Simonsen, {Jakob Grue} and Stefansen, {Christian Oskar Erik}",
year = "2007",
language = "English",
isbn = "8273683249",
series = "Research report. Universitetet i Oslo. Institutt for informatikk",
publisher = "Universitetet i Oslo",
number = "366",
pages = "130--132",
editor = "Johnsen, {Einar Broch} and Olaf Owe and Gerardo Schneider",
booktitle = "NWPT '07/FLACOS' 07",
note = "null ; Conference date: 09-10-2007 Through 10-10-2007",
}
RIS
TY - GEN
T1 - Compositional Contract Specification for REA
AU - Henglein, Fritz
AU - Larsen, Ken Friis
AU - Simonsen, Jakob Grue
AU - Stefansen, Christian Oskar Erik
N1 - Conference code: 1
PY - 2007
Y1 - 2007
N2 - Invited contribution
AB - Invited contribution
M3 - Article in proceedings
SN - 8273683249
T3 - Research report. Universitetet i Oslo. Institutt for informatikk
SP - 130
EP - 132
BT - NWPT '07/FLACOS' 07
A2 - Johnsen, Einar Broch
A2 - Owe, Olaf
A2 - Schneider, Gerardo
PB - Universitetet i Oslo
Y2 - 9 October 2007 through 10 October 2007
ER -