The use of static constructs in a model process logic

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

45 Citationer (Scopus)
OriginalsprogEngelsk
TitelLogic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings
RedaktørerAlbert R. Meyer, Michael A. Taitslin
Antal sider18
ForlagPhysica-Verlag
Publikationsdato1 jan. 1989
Sider163-180
ISBN (Trykt)9783540512370
DOI
StatusUdgivet - 1 jan. 1989
BegivenhedInternational Symposium on Logical Foundations of Computer Science, 1989 - PereslavI-Zalessky, Rusland
Varighed: 3 jul. 19898 jul. 1989

Konference

KonferenceInternational Symposium on Logical Foundations of Computer Science, 1989
LandRusland
ByPereslavI-Zalessky
Periode03/07/198908/07/1989
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind363 LNCS
ISSN0302-9743

Citer dette

Hüttel, H., & Larsen, K. G. (1989). The use of static constructs in a model process logic. I A. R. Meyer, & M. A. Taitslin (red.), Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings (s. 163-180). Physica-Verlag. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind. 363 LNCS https://doi.org/10.1007/3-540-51237-3_14
Hüttel, Hans ; Larsen, Kim G. / The use of static constructs in a model process logic. Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. red. / Albert R. Meyer ; Michael A. Taitslin. Physica-Verlag, 1989. s. 163-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).
@inproceedings{def96355b32b44619b3f4a68ef180ed2,
title = "The use of static constructs in a model process logic",
author = "Hans H{\"u}ttel and Larsen, {Kim G.}",
year = "1989",
month = "1",
day = "1",
doi = "10.1007/3-540-51237-3_14",
language = "English",
isbn = "9783540512370",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Physica-Verlag",
pages = "163--180",
editor = "Meyer, {Albert R.} and Taitslin, {Michael A.}",
booktitle = "Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings",

}

Hüttel, H & Larsen, KG 1989, The use of static constructs in a model process logic. i AR Meyer & MA Taitslin (red), Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Physica-Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 363 LNCS, s. 163-180, International Symposium on Logical Foundations of Computer Science, 1989, PereslavI-Zalessky, Rusland, 03/07/1989. https://doi.org/10.1007/3-540-51237-3_14

The use of static constructs in a model process logic. / Hüttel, Hans; Larsen, Kim G.

Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. red. / Albert R. Meyer; Michael A. Taitslin. Physica-Verlag, 1989. s. 163-180 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - The use of static constructs in a model process logic

AU - Hüttel, Hans

AU - Larsen, Kim G.

PY - 1989/1/1

Y1 - 1989/1/1

UR - http://www.scopus.com/inward/record.url?scp=85037042015&partnerID=8YFLogxK

U2 - 10.1007/3-540-51237-3_14

DO - 10.1007/3-540-51237-3_14

M3 - Article in proceeding

AN - SCOPUS:85037042015

SN - 9783540512370

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 163

EP - 180

BT - Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings

A2 - Meyer, Albert R.

A2 - Taitslin, Michael A.

PB - Physica-Verlag

ER -

Hüttel H, Larsen KG. The use of static constructs in a model process logic. I Meyer AR, Taitslin MA, red., Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Physica-Verlag. 1989. s. 163-180. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS). https://doi.org/10.1007/3-540-51237-3_14