Tingting Han : Publications

Click here to download all publications in a single bibtex file

@techreport{RR-13-04,
  title = "Efficient Probabilistic Parameter Synthesis for Adaptive Systems",
  author = "Taolue Chen and Tingting Han and Marta Kwiatkowska and Hongyang Qu",
  year = "2013",
  institution = "DCS",
  number = "RR-13-04",
  pages = "13",
}