ITU

Linear usage of state

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

View graph of relations

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

ID: 37333135