Slicing for Uppaal

Claus Rørbæk Thrane, Uffe Sørensen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

4 Citations (Scopus)

Original language	English
Title of host publication	2008 Annual IEEE Student Paper Conference Proceedings
Publisher	IEEE
Publication date	2008
Pages	27-31
ISBN (Print)	978-1-4244-2155-8
DOIs	https://doi.org/10.1109/AISPC.2008.4460546
Publication status	Published - 2008
Event	2008 Annual IEEE Student Paper Conference - Aalborg, Denmark Duration: 15 Feb 2008 → 26 Feb 2008

Conference	2008 Annual IEEE Student Paper Conference
Country/Territory	Denmark
City	Aalborg
Period	15/02/2008 → 26/02/2008

Access to Document

@inproceedings{662482d0031c11de82e6000ea68e967b,

title = "Slicing for Uppaal",

author = "Thrane, {Claus R{\o}rb{\ae}k} and Uffe S{\o}rensen",

year = "2008",

doi = "10.1109/AISPC.2008.4460546",

language = "English",

isbn = "978-1-4244-2155-8",

pages = "27--31",

booktitle = "2008 Annual IEEE Student Paper Conference Proceedings",

publisher = "IEEE",

address = "United States",

note = "2008 Annual IEEE Student Paper Conference ; Conference date: 15-02-2008 Through 26-02-2008",

}

TY - GEN

T1 - Slicing for Uppaal

AU - Thrane, Claus Rørbæk

AU - Sørensen, Uffe

PY - 2008

Y1 - 2008

U2 - 10.1109/AISPC.2008.4460546

DO - 10.1109/AISPC.2008.4460546

M3 - Article in proceeding

SN - 978-1-4244-2155-8

SP - 27

EP - 31

BT - 2008 Annual IEEE Student Paper Conference Proceedings

PB - IEEE

T2 - 2008 Annual IEEE Student Paper Conference

Y2 - 15 February 2008 through 26 February 2008

ER -