The Methodology of Modal Constraints

Kim Guldstrand Larsen; B. Steffen; C. Weise

The Methodology of Modal Constraints

Kim Guldstrand Larsen, B. Steffen, C. Weise

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Formal Systems Specification : the RPC-Memory Specification Case Study
Redaktører	Broy, M. : Merz, S. : Spies, K. (eds.)
Udgivelsessted	Berlin
Forlag	IEEE Computer Society Press
Publikationsdato	1996
ISBN (Trykt)	3540619844
Status	Udgivet - 1996

Navn	Lecture Notes in Computer Science
Nummer	1169
ISSN	0302-9743

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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",

}

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

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 -