Originalsprog | Engelsk |
---|---|
Tidsskrift | Logical Methods in Computer Science |
Vol/bind | 10 |
Udgave nummer | 1 |
ISSN | 1860-5974 |
DOI | |
Status | Udgivet - 25 mar. 2014 |
Linear usage of state
Rasmus Ejlers Møgelberg, Sam Staton
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review