Paper: How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (at LICS 1998)
Authors: Luca de AlfaroAbstract
No Abstract Available
BibTeX
@InProceedings{deAlfaro-HowtoSpecifyandVeri, author = {Luca de Alfaro}, title = {How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {454-465}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }