"Continuous Markovian Logics - Axiomatization and Quantified Metatheory"

Radu Mardare, Luca Cardelli, Kim G. Larsen (2012)

Details and statistics

DOI: 10.2168/LMCS-8(4:19)2012

access: open

type: Journal Article

metadata version: 2024-05-07