Modal Abstractions of Concurrent Behaviour

Sebastian Nanz; Flemming Nielson; Hanne Riis Nielson

Modal Abstractions of Concurrent Behaviour

Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
Volume	5079
Publisher	Springer Science+Business Media
Publication date	2008
Pages	159-173
ISBN (Print)	978-3-540-69163-1
Publication status	Published - 2008
Event	15th International Static Analysis Symposium - Technical University of Valencia, Valencia, Spain Duration: 16 Jul 2008 → 18 Jul 2008 Conference number: 15 http://users.dsic.upv.es/~sas2008/

Conference

Conference	15th International Static Analysis Symposium
Number	15
Location	Technical University of Valencia
Country/Territory	Spain
City	Valencia
Period	16/07/2008 → 18/07/2008
Internet address	http://users.dsic.upv.es/~sas2008/

Series	Lecture Notes in Computer Science
Number	5079

OpenUrl availability

Full text

Cite this

@inproceedings{6aa17747e3ee4378b3575aac001ad4bb,

title = "Modal Abstractions of Concurrent Behaviour",

author = "Sebastian Nanz and Flemming Nielson and Nielson, \{Hanne Riis\}",

year = "2008",

language = "English",

isbn = "978-3-540-69163-1",

volume = "5079",

series = "Lecture Notes in Computer Science",

publisher = "Springer Science+Business Media",

number = "5079",

pages = "159--173",

booktitle = "Static Analysis",

address = "United States",

note = "15th International Static Analysis Symposium , SAS 2008 ; Conference date: 16-07-2008 Through 18-07-2008",

url = "http://users.dsic.upv.es/\textasciitilde{}sas2008/",

}

Nanz, S, Nielson, F & Nielson, HR 2008, Modal Abstractions of Concurrent Behaviour. in Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. vol. 5079, Springer Science+Business Media, Lecture Notes in Computer Science, no. 5079, pp. 159-173, 15th International Static Analysis Symposium , Valencia, Spain, 16/07/2008.

Modal Abstractions of Concurrent Behaviour. / Nanz, Sebastian; Nielson, Flemming; Nielson, Hanne Riis.
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Vol. 5079 Springer Science+Business Media, 2008. p. 159-173 (Lecture Notes in Computer Science; No. 5079).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Modal Abstractions of Concurrent Behaviour

AU - Nanz, Sebastian

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

N1 - Conference code: 15

PY - 2008

Y1 - 2008

M3 - Article in proceedings

SN - 978-3-540-69163-1

VL - 5079

T3 - Lecture Notes in Computer Science

SP - 159

EP - 173

BT - Static Analysis

PB - Springer Science+Business Media

T2 - 15th International Static Analysis Symposium

Y2 - 16 July 2008 through 18 July 2008

ER -