Fast directed model checking via russian doll abstraction

S. Kupferschmid; J. Hoffmann; Kim Guldstrand Larsen

doi:10.1007/978-3-540-78800-3_15

Fast directed model checking via russian doll abstraction

S. Kupferschmid, J. Hoffmann, Kim Guldstrand Larsen

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

11 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Tools and Algorithms for the Construction and Analysis of Systems : 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Forlag	Springer
Publikationsdato	2008
Sider	203-217
ISBN (Trykt)	978-3-540-78799-0
DOI	https://doi.org/10.1007/978-3-540-78800-3_15
Status	Udgivet - 2008
Begivenhed	International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 - Budapest, Ungarn Varighed: 29 mar. 2008 → 2 apr. 2008 Konferencens nummer: 14th

Konference

Konference	International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008
Nummer	14th
Land/Område	Ungarn
By	Budapest
Periode	29/03/2008 → 02/04/2008

Navn	Lecture Notes in Computer Science
Nummer	4963
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-540-78800-3_15

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Kupferschmid, S., Hoffmann, J., & Larsen, K. G. (2008). Fast directed model checking via russian doll abstraction. I Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (s. 203-217). Springer. https://doi.org/10.1007/978-3-540-78800-3_15

Kupferschmid, S. ; Hoffmann, J. ; Larsen, Kim Guldstrand. / Fast directed model checking via russian doll abstraction. Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, 2008. s. 203-217 (Lecture Notes in Computer Science; Nr. 4963).

@inproceedings{36a75850979d11de802f000ea68e967b,

title = "Fast directed model checking via russian doll abstraction",

author = "S. Kupferschmid and J. Hoffmann and Larsen, {Kim Guldstrand}",

year = "2008",

doi = "10.1007/978-3-540-78800-3_15",

language = "English",

isbn = "978-3-540-78799-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "4963",

pages = "203--217",

booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",

address = "Germany",

note = "International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 ; Conference date: 29-03-2008 Through 02-04-2008",

}

Kupferschmid, S, Hoffmann, J & Larsen, KG 2008, Fast directed model checking via russian doll abstraction. i Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, Lecture Notes in Computer Science, nr. 4963, s. 203-217, International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Ungarn, 29/03/2008. https://doi.org/10.1007/978-3-540-78800-3_15

Fast directed model checking via russian doll abstraction. / Kupferschmid, S.; Hoffmann, J.; Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer, 2008. s. 203-217 (Lecture Notes in Computer Science; Nr. 4963).

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

TY - GEN

T1 - Fast directed model checking via russian doll abstraction

AU - Kupferschmid, S.

AU - Hoffmann, J.

AU - Larsen, Kim Guldstrand

N1 - Conference code: 14th

PY - 2008

Y1 - 2008

U2 - 10.1007/978-3-540-78800-3_15

DO - 10.1007/978-3-540-78800-3_15

M3 - Article in proceeding

SN - 978-3-540-78799-0

T3 - Lecture Notes in Computer Science

SP - 203

EP - 217

BT - Tools and Algorithms for the Construction and Analysis of Systems

PB - Springer

T2 - International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008

Y2 - 29 March 2008 through 2 April 2008

ER -

Kupferschmid S, Hoffmann J, Larsen KG. Fast directed model checking via russian doll abstraction. I Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Springer. 2008. s. 203-217. (Lecture Notes in Computer Science; Nr. 4963). doi: 10.1007/978-3-540-78800-3_15