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

Citationsformater