A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
Alkuperäiskieli | Englanti |
---|---|
Sivut | 103-123 |
Sivumäärä | 21 |
Julkaisu | Theoretical Computer Science |
Vuosikerta | 528 |
DOI - pysyväislinkit | |
Tila | Julkaistu - 2014 |
OKM-julkaisutyyppi | A1 Alkuperäisartikkeli |