![](/img/cover-not-exists.png)
[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - omega-QRB-Domains and the Probabilistic Powerdomain
Goubault-Larrecq, JeanYear:
2010
Language:
english
DOI:
10.1109/LICS.2010.50
File:
PDF, 413 KB
english, 2010