Stuttering for abstract probabilistic automata

Research output: Contribution to journalConference article in JournalResearchpeer-review

Details

Original languageEnglish
JournalJournal of Logic and Algebraic Programming
Volume83
Issue number1
Pages (from-to)1-19
ISSN1567-8326
DOI
Publication statusPublished - 2014
Publication categoryResearch
Peer-reviewedYes
ID: 175170296