Old and New Algorithms for Minimal Coverability Sets

Valmari, Antti; Hansen, Henri (2014)
 
Avaa tiedosto
Lataukset: 



Valmari, Antti
Hansen, Henri
2014

doi:10.3233/FI-2014-1002
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tty-201606064225

Kuvaus

Peer reviewed
Kokoelmat