Probabilistic modeling and verification of large scale systems
By
BibTeX
@inproceedings{PhDDissertationYoungMin, author = "Kwon, YoungMin", title = "Probabilistic Modeling and Verification of Large Scale Systems", booktitle = "Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign", keywords = "formal methods", year = "2006", }