Oxford logo
[BK97b] C. Baier and M. Kwiatkowska. Domain Equations for Probabilistic Processes (Extended Abstract). In Proc. EXPRESS'97, volume 7 of Electronic Notes in Theoretical Computer Science, Elsevier. 1997. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (147 KB)  bib bib
Notes: ENTCS is available at www.sciencedirect.com/science/journal/15710661.
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications