Analyzing Concurrency in Computational Networks.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Formal Methods and Models for Codesign, 1st ACM & IEEE Int. Conference MEMOCODE 2003
Place of Publication	Los Alamitos CA, USA
Publisher	IEEE Computer Society
Pages	47-48
Publication status	Published - 2003
Event	conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 - Duration: 24 Jun 2003 → 26 Jun 2003

Conference	conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26
Period	24/06/03 → 26/06/03
Other	MEMOCODE 2003, Mont Saint-Michel, France

Cite this

@inproceedings{e55604caead04573a704ba79344ac5d4,

title = "Analyzing Concurrency in Computational Networks.",

author = "S. Stuijk and T. Basten",

year = "2003",

language = "English",

pages = "47--48",

booktitle = "Formal Methods and Models for Codesign, 1st ACM & IEEE Int. Conference MEMOCODE 2003",

publisher = "IEEE Computer Society",

address = "United States",

note = "conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26 ; Conference date: 24-06-2003 Through 26-06-2003",

}

TY - GEN

T1 - Analyzing Concurrency in Computational Networks.

AU - Stuijk, S.

AU - Basten, T.

PY - 2003

Y1 - 2003

M3 - Conference contribution

SP - 47

EP - 48

BT - Formal Methods and Models for Codesign, 1st ACM & IEEE Int. Conference MEMOCODE 2003

PB - IEEE Computer Society

CY - Los Alamitos CA, USA

T2 - conference; MEMOCODE 2003, Mont Saint-Michel, France; 2003-06-24; 2003-06-26

Y2 - 24 June 2003 through 26 June 2003

ER -