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. ed. / Einar Broch Johnsen; Olaf Owe; Gerardo Schneider. Universitetet i Oslo, 2007. p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
Harvard
Henglein, F, Larsen, KF, Simonsen, JG & Stefansen, COE 2007, Compositional Contract Specification for REA. in EB Johnsen, O Owe & G Schneider (eds), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo, Research report. Universitetet i Oslo. Institutt for informatikk, no. 366, pp. 130-132, Workshop on Formal Languages and Analysis of Contract-Oriented Software, Oslo, Norway, 09/10/2007.
APA
Henglein, F., Larsen, K. F., Simonsen, J. G., & Stefansen, C. O. E. (2007). Compositional Contract Specification for REA. In E. B. Johnsen, O. Owe, & G. Schneider (Eds.), NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway (pp. 130-132). Universitetet i Oslo. Research report. Universitetet i Oslo. Institutt for informatikk No. 366
Vancouver
Henglein F, Larsen KF, Simonsen JG, Stefansen COE. Compositional Contract Specification for REA. In Johnsen EB, Owe O, Schneider G, editors, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Universitetet i Oslo. 2007. p. 130-132. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 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. editor / Einar Broch Johnsen ; Olaf Owe ; Gerardo Schneider. Universitetet i Oslo, 2007. pp. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 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 -