@article{ZhangYSHEJG18,
  title = {Probabilistic bisimulation for realistic schedulers},
  author = {Lijun Zhang and Pengfei Yang and Lei Song 0001 and Holger Hermanns and Christian Eisentraut and David N. Jansen and Jens Chr. Godskesen},
  year = {2018},
  doi = {10.1007/s00236-018-0313-1},
  url = {https://doi.org/10.1007/s00236-018-0313-1},
  researchr = {https://researchr.org/publication/ZhangYSHEJG18},
  cites = {0},
  citedby = {0},
  journal = {Acta Informatica},
  volume = {55},
  number = {6},
  pages = {461-488},
}

@article{EisentrautHSTZ18,
  title = {The quest for minimal quotients for probabilistic and Markov automata},
  author = {Christian Eisentraut and Holger Hermanns and Johann Schuster and Andrea Turrini and Lijun Zhang},
  year = {2018},
  doi = {10.1016/j.ic.2018.08.003},
  url = {https://doi.org/10.1016/j.ic.2018.08.003},
  researchr = {https://researchr.org/publication/EisentrautHSTZ18},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {262},
  number = {Part},
  pages = {162-186},
}
@proceedings{tacas-2019-1,
  title = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I},
  year = {2019},
  doi = {10.1007/978-3-030-17462-0},
  url = {https://doi.org/10.1007/978-3-030-17462-0},
  researchr = {https://researchr.org/publication/tacas-2019-1},
  cites = {0},
  citedby = {0},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I},
  conference = {TACAS},
  editor = {Tomás Vojnar and Lijun Zhang},
  volume = {11427},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17462-0},
}

@proceedings{tacas-2019-2,
  title = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II},
  year = {2019},
  doi = {10.1007/978-3-030-17465-1},
  url = {https://doi.org/10.1007/978-3-030-17465-1},
  researchr = {https://researchr.org/publication/tacas-2019-2},
  cites = {0},
  citedby = {0},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II},
  conference = {TACAS},
  editor = {Tomás Vojnar and Lijun Zhang},
  volume = {11428},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17465-1},
}