Javier Esparza
Analysis of Systems with Stochastic Process Creation
VMCAI, 2010.
@inproceedings{VMCAI-2010-Esparza, author = "Javier Esparza", booktitle = "{Proceedings of the 11th International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/978-3-642-11319-2_1", isbn = "978-3-642-11318-5", pages = "1", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Analysis of Systems with Stochastic Process Creation}", volume = 5944, year = 2010, }