[Pro98]
C. Baier and M. Huth and M. Kwiatkowska and M. Ryan (editors),
PROBMIV'98, First International Workshop on Probabilistic Methods in Verification.
Volume 22 of Electronic Notes in Theoretical Computer Science. Elsevier.
1999.
[bib]
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|