The Methodology of Modal Constraints

Kim Guldstrand Larsen, B. Steffen, C. Weise

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

Original languageEnglish
Title of host publicationFormal Systems Specification : the RPC-Memory Specification Case Study
EditorsBroy, M. : Merz, S. : Spies, K. (eds.)
Place of PublicationBerlin
PublisherIEEE Computer Society Press
Publication date1996
ISBN (Print)3540619844
Publication statusPublished - 1996
SeriesLecture Notes in Computer Science
Number1169
ISSN0302-9743

Cite this

Larsen, K. G., Steffen, B., & Weise, C. (1996). The Methodology of Modal Constraints. In Broy, M. : Merz, S. : Spies, K. (eds.) (Ed.), Formal Systems Specification : the RPC-Memory Specification Case Study Berlin: IEEE Computer Society Press. Lecture Notes in Computer Science, No. 1169
Larsen, Kim Guldstrand ; Steffen, B. ; Weise, C. / The Methodology of Modal Constraints. Formal Systems Specification : the RPC-Memory Specification Case Study. editor / Broy, M. : Merz, S. : Spies, K. (eds.). Berlin : IEEE Computer Society Press, 1996. (Lecture Notes in Computer Science; No. 1169).
@inbook{8b1cc9f09c2e11db8ed6000ea68e967b,
title = "The Methodology of Modal Constraints",
author = "Larsen, {Kim Guldstrand} and B. Steffen and C. Weise",
year = "1996",
language = "English",
isbn = "3540619844",
series = "Lecture Notes in Computer Science",
publisher = "IEEE Computer Society Press",
number = "1169",
editor = "{Broy, M. : Merz, S. : Spies, K. (eds.)}",
booktitle = "Formal Systems Specification : the RPC-Memory Specification Case Study",
address = "United States",

}

Larsen, KG, Steffen, B & Weise, C 1996, The Methodology of Modal Constraints. in Broy, M. : Merz, S. : Spies, K. (eds.) (ed.), Formal Systems Specification : the RPC-Memory Specification Case Study. IEEE Computer Society Press, Berlin, Lecture Notes in Computer Science, no. 1169.

The Methodology of Modal Constraints. / Larsen, Kim Guldstrand; Steffen, B.; Weise, C.

Formal Systems Specification : the RPC-Memory Specification Case Study. ed. / Broy, M. : Merz, S. : Spies, K. (eds.). Berlin : IEEE Computer Society Press, 1996. (Lecture Notes in Computer Science; No. 1169).

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

TY - CHAP

T1 - The Methodology of Modal Constraints

AU - Larsen, Kim Guldstrand

AU - Steffen, B.

AU - Weise, C.

PY - 1996

Y1 - 1996

M3 - Book chapter

SN - 3540619844

T3 - Lecture Notes in Computer Science

BT - Formal Systems Specification : the RPC-Memory Specification Case Study

A2 - Broy, M. : Merz, S. : Spies, K. (eds.), null

PB - IEEE Computer Society Press

CY - Berlin

ER -

Larsen KG, Steffen B, Weise C. The Methodology of Modal Constraints. In Broy, M. : Merz, S. : Spies, K. (eds.), editor, Formal Systems Specification : the RPC-Memory Specification Case Study. Berlin: IEEE Computer Society Press. 1996. (Lecture Notes in Computer Science; No. 1169).