Quantitative analysis of weighted transition systems

Uli Fahrenberg, Kim Guldstrand Larsen, Claus Rørbæk Thrane

Research output: Contribution to journalJournal articleResearchpeer-review

43 Citations (Scopus)
Original languageEnglish
JournalJournal of Logic and Algebraic Programming
Volume79
Issue number7
Pages (from-to)689-703
ISSN2352-2208
DOIs
Publication statusPublished - Oct 2010

Cite this