Legay2009d

Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay. Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science, 2009.

Keyword

[ Component ]

BibTex Reference

@article{Legay2009d,
   Author = {Chatterjee, Krishnendu and de Alfaro, Luca and Faella, Marco and Legay, Axel},
   Title = {Qualitative Logics and Equivalences for Probabilistic Systems},
   Journal = {Logical Methods in Computer Science},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)