Linear usage of state

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Original languageEnglish
JournalLogical Methods in Computer Science
Volume10
Issue number1
ISSN1860-5974
DOIs
Publication statusPublished - 25 Mar 2014

Cite this