|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Verifying probabilistic procedural programs
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza and Kousha Etessami. Verifying probabilistic procedural programs. In Proceedings of FSTTCS 2004, volume 3328 of LNCS, Lecture Notes in Computer Science, pages 16–31, 2004.
Suggested BibTeX entry:
@inproceedings{EE04,
author = {Javier Esparza and Kousha Etessami},
booktitle = {Proceedings of FSTTCS 2004},
pages = {16--31},
series = {LNCS, Lecture Notes in Computer Science},
title = {Verifying probabilistic procedural programs},
volume = {3328},
year = {2004}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|