Aarhus University Seal / Aarhus Universitets segl

Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Standard

Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. / Hansen, Niels Damgaard; Madsen, Kim Halskov.

Applications and Theory of Petri Nets. red. / A. Pagnoni; G. Rosenberg. Berlin : Springer, 1983. s. 132-148.

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Harvard

Hansen, ND & Madsen, KH 1983, Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. i A Pagnoni & G Rosenberg (red), Applications and Theory of Petri Nets. Springer, Berlin, s. 132-148, The European Workshop on Applications and Theory of Petri Nets, Varenna, Italien, 27/09/1982.

APA

Hansen, N. D., & Madsen, K. H. (1983). Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. I A. Pagnoni, & G. Rosenberg (red.), Applications and Theory of Petri Nets (s. 132-148). Berlin: Springer.

CBE

Hansen ND, Madsen KH. 1983. Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. Pagnoni A, Rosenberg G, red. I Applications and Theory of Petri Nets. Berlin: Springer. s. 132-148.

MLA

Hansen, Niels Damgaard og Kim Halskov Madsen "Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets". og Pagnoni, A. Rosenberg, G. (red.). Applications and Theory of Petri Nets. Berlin: Springer. 1983, 132-148.

Vancouver

Hansen ND, Madsen KH. Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. I Pagnoni A, Rosenberg G, red., Applications and Theory of Petri Nets. Berlin: Springer. 1983. s. 132-148

Author

Hansen, Niels Damgaard ; Madsen, Kim Halskov. / Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. Applications and Theory of Petri Nets. red. / A. Pagnoni ; G. Rosenberg. Berlin : Springer, 1983. s. 132-148

Bibtex

@inproceedings{32d18d80fbd911dabee902004c4f4f50,
title = "Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets",
author = "Hansen, {Niels Damgaard} and Madsen, {Kim Halskov}",
year = "1983",
language = "English",
isbn = "0387123091",
pages = "132--148",
editor = "A. Pagnoni and G. Rosenberg",
booktitle = "Applications and Theory of Petri Nets",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets

AU - Hansen, Niels Damgaard

AU - Madsen, Kim Halskov

PY - 1983

Y1 - 1983

M3 - Article in proceedings

SN - 0387123091

SN - 3540123091

SP - 132

EP - 148

BT - Applications and Theory of Petri Nets

A2 - Pagnoni, A.

A2 - Rosenberg, G.

PB - Springer

CY - Berlin

ER -