Slicing for Uppaal

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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

4 Citationer (Scopus)

Originalsprog	Engelsk
Titel	2008 Annual IEEE Student Paper Conference Proceedings
Forlag	IEEE
Publikationsdato	2008
Sider	27-31
ISBN (Trykt)	978-1-4244-2155-8
DOI	https://doi.org/10.1109/AISPC.2008.4460546
Status	Udgivet - 2008
Begivenhed	2008 Annual IEEE Student Paper Conference - Aalborg, Danmark Varighed: 15 feb. 2008 → 26 feb. 2008

Konference	2008 Annual IEEE Student Paper Conference
Land/Område	Danmark
By	Aalborg
Periode	15/02/2008 → 26/02/2008

Adgang til dokumentet

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