Sciweavers

ATAL
2008
Springer

A temporal logic for Markov chains

14 years 2 months ago
A temporal logic for Markov chains
Wojciech Jamroga
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where ATAL
Authors Wojciech Jamroga
Comments (0)