TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

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

Tutkimustuotosvertaisarvioitu

Standard

Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions. / Hansen, Henri; Lin, Shang-Wei; Liu, Yang; Nguyen, Truong Khan; Sun, Jun.

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).

Tutkimustuotosvertaisarvioitu

Harvard

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

APA

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

Vancouver

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). https://doi.org/10.1007/978-3-319-08867-9_26

Author

Hansen, Henri ; Lin, Shang-Wei ; Liu, Yang ; Nguyen, Truong Khan ; Sun, Jun. / 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).

Bibtex - Lataa

@inproceedings{85501691d9f3436d9e7679b82156cbf6,
title = "Diamonds Are a Girl’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",
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",

}

RIS (suitable for import to EndNote) - Lataa

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

ER -