BibTeX record conf/tacas/SenVA06

download as .bib file

@inproceedings{DBLP:conf/tacas/SenVA06,
  author    = {Koushik Sen and
               Mahesh Viswanathan and
               Gul Agha},
  title     = {Model-Checking Markov Chains in the Presence of Uncertainties},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  pages     = {394--410},
  publisher = {Springer},
  year      = {2006}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics