Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Henri Hansen; Shang-Wei Lin; Yang Liu; Truong Khan Nguyen; Jun Sun

doi:10.1007/978-3-319-08867-9_26

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Julkaisun otsikon käännös: Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khan Nguyen, Jun Sun

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

10 Sitaatiot (Scopus)

Julkaisun otsikon käännös	Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Alkuperäiskieli	Englanti
Otsikko	Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
Toimittajat	Armin Biere, Roderick Bloem
Kustantaja	Springer International Publishing
Sivut	391-406
Sivumäärä	16
ISBN (elektroninen)	978-3-319-08867-9
ISBN (painettu)	978-3-319-08866-2
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-319-08867-9_26
Tila	Julkaistu - 2014
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	Computer Aided Verification - Kesto: 1 tammik. 2014 → …

Julkaisusarja

Nimi	Lecture Notes in Computer Science
Vuosikerta	8559
ISSN (painettu)	0302-9743

Conference

Conference	Computer Aided Verification
Ajanjakso	1/01/14 → …

Julkaisufoorumi-taso

Jufo-taso 2

Pääsy asiakirjaan

10.1007/978-3-319-08867-9_26

http://link.springer.com/chapter/10.1007%2F978-3-319-08867-9_26

Siteeraa tätä

Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K., & Sun, J. (2014). Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. teoksessa A. Biere, & R. Bloem (Toimittajat), Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings (Sivut 391-406). (Lecture Notes in Computer Science; Vuosikerta 8559). Springer International Publishing. https://doi.org/10.1007/978-3-319-08867-9_26

Hansen, Henri ; Lin, Shang-Wei ; Liu, Yang et al. / Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Toimittaja / Armin Biere ; Roderick Bloem. Springer International Publishing, 2014. Sivut 391-406 (Lecture Notes in Computer Science).

@inproceedings{85501691d9f3436d9e7679b82156cbf6,

title = "Diamonds Are a Girl{\textquoteright}s Best Friend: Partial Order Reduction for Timed Automata with Abstractions",

author = "Henri Hansen and Shang-Wei Lin and Yang Liu and Nguyen, {Truong Khan} and Jun Sun",

note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-12-30<br/>Publisher name: Springer International Publishing; Computer Aided Verification ; Conference date: 01-01-2014",

year = "2014",

doi = "10.1007/978-3-319-08867-9_26",

language = "English",

isbn = "978-3-319-08866-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "391--406",

editor = "Armin Biere and Roderick Bloem",

booktitle = "Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings",

}

Hansen, H, Lin, S-W, Liu, Y, Nguyen, TK & Sun, J 2014, Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. julkaisussa A Biere & R Bloem (toim), Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Lecture Notes in Computer Science, Vuosikerta 8559, Springer International Publishing, Sivut 391-406, Computer Aided Verification, 1/01/14. https://doi.org/10.1007/978-3-319-08867-9_26

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. / Hansen, Henri; Lin, Shang-Wei; Liu, Yang et al.
Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. toim. / Armin Biere; Roderick Bloem. Springer International Publishing, 2014. s. 391-406 (Lecture Notes in Computer Science; Vuosikerta 8559).

Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

TY - GEN

T1 - Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

AU - Hansen, Henri

AU - Lin, Shang-Wei

AU - Liu, Yang

AU - Nguyen, Truong Khan

AU - Sun, Jun

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-12-30<br/>Publisher name: Springer International Publishing

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08867-9_26

DO - 10.1007/978-3-319-08867-9_26

M3 - Conference contribution

SN - 978-3-319-08866-2

T3 - Lecture Notes in Computer Science

SP - 391

EP - 406

BT - Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings

A2 - Biere, Armin

A2 - Bloem, Roderick

PB - Springer International Publishing

T2 - Computer Aided Verification

Y2 - 1 January 2014

ER -

Hansen H, Lin S-W, Liu Y, Nguyen TK, Sun J. Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. julkaisussa Biere A, Bloem R, toimittajat, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Springer International Publishing. 2014. s. 391-406. (Lecture Notes in Computer Science). doi: 10.1007/978-3-319-08867-9_26