TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Old and New Algorithms for Minimal Coverability Sets

Tutkimustuotosvertaisarvioitu

Standard

Old and New Algorithms for Minimal Coverability Sets. / Valmari, Antti; Hansen, Henri.

julkaisussa: Fundamenta Informaticae, Vuosikerta 131, Nro 1, 2014, s. 1-25.

Tutkimustuotosvertaisarvioitu

Harvard

Valmari, A & Hansen, H 2014, 'Old and New Algorithms for Minimal Coverability Sets', Fundamenta Informaticae, Vuosikerta. 131, Nro 1, Sivut 1-25. https://doi.org/10.3233/FI-2014-1002

APA

Vancouver

Author

Valmari, Antti ; Hansen, Henri. / Old and New Algorithms for Minimal Coverability Sets. Julkaisussa: Fundamenta Informaticae. 2014 ; Vuosikerta 131, Nro 1. Sivut 1-25.

Bibtex - Lataa

@article{782be08a526e4cfaa9c495bbab770236,
title = "Old and New Algorithms for Minimal Coverability Sets",
author = "Antti Valmari and Henri Hansen",
note = "Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-11-17<br/>Publisher name: IOS Press",
year = "2014",
doi = "10.3233/FI-2014-1002",
language = "English",
volume = "131",
pages = "1--25",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS Press",
number = "1",

}

RIS (suitable for import to EndNote) - Lataa

TY - JOUR

T1 - Old and New Algorithms for Minimal Coverability Sets

AU - Valmari, Antti

AU - Hansen, Henri

N1 - Contribution: organisation=mat,FACT1=1<br/>Portfolio EDEND: 2014-11-17<br/>Publisher name: IOS Press

PY - 2014

Y1 - 2014

U2 - 10.3233/FI-2014-1002

DO - 10.3233/FI-2014-1002

M3 - Article

VL - 131

SP - 1

EP - 25

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 1

ER -