Old and New Algorithms for Minimal Coverability Sets
Tutkimustuotos › › vertaisarvioitu
Standard
Old and New Algorithms for Minimal Coverability Sets. / Valmari, Antti; Hansen, Henri.
julkaisussa: Fundamenta Informaticae, Vuosikerta 131, Nro 1, 2014, s. 1-25.Tutkimustuotos › › vertaisarvioitu
Harvard
APA
Vancouver
Author
Bibtex - Lataa
}
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 -