Modal I/O Automata for Interface and Product Line Theories

Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski

Modal I/O Automata for Interface and Product Line Theories

Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

471 Downloads (Pure)

Original language	English
Title of host publication	Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings
Editors	Rocco De Nicola
Number of pages	16
Publisher	IEEE Computer Society Press
Publication date	2007
Pages	64-79
ISBN (Print)	987-3-540-71314-2
ISBN (Electronic)	3-540-71314-X
Publication status	Published - 2007
Event	ESOP 2007 - Braga, Portugal Duration: 26 Mar 2007 → 30 Mar 2007 Conference number: 16

Conference

Conference	ESOP 2007
Number	16
Country/Territory	Portugal
City	Braga
Period	26/03/2007 → 30/03/2007

Series	Lecture Notes in Computer Science
Number	4421
ISSN	0302-9743

Access to Document

ESOP2007withappendixFinal published version, 367 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Larsen, K. G., Nyman, U., & Wasowski, A. (2007). Modal I/O Automata for Interface and Product Line Theories. In R. De Nicola (Ed.), Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings (pp. 64-79). IEEE Computer Society Press.

Larsen, Kim Guldstrand ; Nyman, Ulrik ; Wasowski, Andrzej. / Modal I/O Automata for Interface and Product Line Theories. Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. editor / Rocco De Nicola. IEEE Computer Society Press, 2007. pp. 64-79 (Lecture Notes in Computer Science; No. 4421).

@inbook{84c5fa80c57e11db86ee000ea68e967b,

title = "Modal I/O Automata for Interface and Product Line Theories",

author = "Larsen, {Kim Guldstrand} and Ulrik Nyman and Andrzej Wasowski",

year = "2007",

language = "English",

isbn = "987-3-540-71314-2",

series = "Lecture Notes in Computer Science",

publisher = "IEEE Computer Society Press",

number = "4421",

pages = "64--79",

editor = "{De Nicola}, Rocco",

booktitle = "Programming Languages and Systems",

address = "United States",

note = "ESOP 2007 ; Conference date: 26-03-2007 Through 30-03-2007",

}

Larsen, KG , Nyman, U & Wasowski, A 2007, Modal I/O Automata for Interface and Product Line Theories. in R De Nicola (ed.), Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. IEEE Computer Society Press, Lecture Notes in Computer Science, no. 4421, pp. 64-79, ESOP 2007, Braga, Portugal, 26/03/2007.

Modal I/O Automata for Interface and Product Line Theories. / Larsen, Kim Guldstrand ; Nyman, Ulrik; Wasowski, Andrzej.
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. ed. / Rocco De Nicola. IEEE Computer Society Press, 2007. p. 64-79 (Lecture Notes in Computer Science; No. 4421).

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Modal I/O Automata for Interface and Product Line Theories

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik

AU - Wasowski, Andrzej

N1 - Conference code: 16

PY - 2007

Y1 - 2007

M3 - Book chapter

SN - 987-3-540-71314-2

T3 - Lecture Notes in Computer Science

SP - 64

EP - 79

BT - Programming Languages and Systems

A2 - De Nicola, Rocco

PB - IEEE Computer Society Press

T2 - ESOP 2007

Y2 - 26 March 2007 through 30 March 2007

ER -

Larsen KG , Nyman U, Wasowski A. Modal I/O Automata for Interface and Product Line Theories. In De Nicola R, editor, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. IEEE Computer Society Press. 2007. p. 64-79. (Lecture Notes in Computer Science; No. 4421).