[GHLP05]
G. Guirado, T. Herault, R. Lassaigne and S. Peyronnet.
Distribution, approximation and probabilistic model checking.
In Proc. 4th International Workshop on Parallel and Distributed Methods in Verification (PDMC'05), volume 135(2) of Electronic Notes in Theoretical Computer Science, pages 19-30, Elsevier.
2005.
[bib]
|
Notes:
ENTCS is available at www.sciencedirect.com/science/journal/15710661.
|