Qualitative Logics and Equivalences for Probabilistic Systems

Technical Report PDF: 
Technical Report Number: 
2007.82
TitleQualitative Logics and Equivalences for Probabilistic Systems
Publication TypeConference Paper
Year of Publication2007
Authorsde Alfaro, L, Chatterjee K, Faella M, Legay A
Conference NameQEST