Parameterized Metatheory for Continuous Markovian Logic

Kim Guldstrand Larsen, Radu Iulian Mardare, Claus Thrane

Research output: Contribution to journalConference article in JournalResearchpeer-review

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science
Volume103
Pages (from-to)33-47
ISSN2075-2180
DOIs
Publication statusPublished - 2012
EventQuantities in formal methods - Paris, France
Duration: 28 Aug 201228 Aug 2012
Conference number: 1

Workshop

WorkshopQuantities in formal methods
Number1
Country/TerritoryFrance
CityParis
Period28/08/201228/08/2012

Cite this