Open Systems Laboratory at Illinois

Probabilistic modeling and verification of large scale systems

By YoungMin Kwon. In Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign. 2006.

Full Text:
Download PDF

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",
}