Iltlchecker: a probabilistic model checker for multiple dtmcs

By YoungMin Kwon and Gul A. Agha. In QEST, 245–246. IEEE Computer Society, 2005.

Full Text:: Download PDF
Publisher Link:: http://doi.ieeecomputersociety.org/10.1109/QEST.2005.14

BibTeX

@inproceedings{conf/qest/KwonA05,
    author = "Kwon, YoungMin and Agha, Gul A.",
    title = "iLTLChecker: A Probabilistic Model Checker for Multiple
             DTMCs",
    booktitle = "QEST",
    crossref = "conf/qest/2005",
    ee = "http://doi.ieeecomputersociety.org/10.1109/QEST.2005.14",
    keywords = "formal methods, sensor networks, real-time systems",
    pages = "245-246",
    year = "2005",
}

@proceedings{conf/qest/2005,
    title = "Second International Conference on the Quantitative
             Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino,
             Italy",
    publisher = "IEEE Computer Society",
    year = "2005",
}