TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Constructing Minimal Coverability Sets

Tutkimustuotosvertaisarvioitu

Standard

Constructing Minimal Coverability Sets. / Piipponen, Artturi; Valmari, Antti.

Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013. toim. / Parosh Aziz Abdulla; Igor Potapov. Berlin Heidelberg : Springer, 2013. s. 183-195 (Lecture Notes in Computer Science; Vuosikerta 8169).

Tutkimustuotosvertaisarvioitu

Harvard

Piipponen, A & Valmari, A 2013, Constructing Minimal Coverability Sets. julkaisussa PA Abdulla & I Potapov (toim), Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013. Lecture Notes in Computer Science, Vuosikerta. 8169, Springer, Berlin Heidelberg, Sivut 183-195. https://doi.org/10.1007/978-3-642-41036-9_17

APA

Piipponen, A., & Valmari, A. (2013). Constructing Minimal Coverability Sets. teoksessa P. A. Abdulla, & I. Potapov (Toimittajat), Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 (Sivut 183-195). (Lecture Notes in Computer Science; Vuosikerta 8169). Berlin Heidelberg: Springer. https://doi.org/10.1007/978-3-642-41036-9_17

Vancouver

Piipponen A, Valmari A. Constructing Minimal Coverability Sets. julkaisussa Abdulla PA, Potapov I, toimittajat, Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013. Berlin Heidelberg: Springer. 2013. s. 183-195. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-41036-9_17

Author

Piipponen, Artturi ; Valmari, Antti. / Constructing Minimal Coverability Sets. Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013. Toimittaja / Parosh Aziz Abdulla ; Igor Potapov. Berlin Heidelberg : Springer, 2013. Sivut 183-195 (Lecture Notes in Computer Science).

Bibtex - Lataa

@inproceedings{bb023e32fb9c4fd3b5fcb5044c0c9a3f,
title = "Constructing Minimal Coverability Sets",
author = "Artturi Piipponen and Antti Valmari",
note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: Springer",
year = "2013",
doi = "10.1007/978-3-642-41036-9_17",
language = "English",
isbn = "978-3-642-41035-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "183--195",
editor = "Abdulla, {Parosh Aziz} and Igor Potapov",
booktitle = "Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013",

}

RIS (suitable for import to EndNote) - Lataa

TY - GEN

T1 - Constructing Minimal Coverability Sets

AU - Piipponen, Artturi

AU - Valmari, Antti

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2013-11-29<br/>Publisher name: Springer

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-41036-9_17

DO - 10.1007/978-3-642-41036-9_17

M3 - Conference contribution

SN - 978-3-642-41035-2

T3 - Lecture Notes in Computer Science

SP - 183

EP - 195

BT - Reachability Problems. Proceedings of the 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013

A2 - Abdulla, Parosh Aziz

A2 - Potapov, Igor

PB - Springer

CY - Berlin Heidelberg

ER -