[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Satisfiability Problem for Probabilistic CTL
Brázdil, Tomá, Forejt, Vojtech, Kretínský, Jan, Kucera, AntonínYear:
2008
Language:
english
DOI:
10.1109/lics.2008.21
File:
PDF, 297 KB
english, 2008