publications:
- title: "Probabilistic bisimulation for realistic schedulers"
  author:
  - name: "Lijun Zhang"
    link: "https://iscasmc.ios.ac.cn/?page_id=148"
  - name: "Pengfei Yang"
    link: "https://researchr.org/alias/pengfei-yang"
  - name: "Lei Song 0001"
    link: "https://researchr.org/alias/lei-song-0001"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Christian Eisentraut"
    link: "https://researchr.org/alias/christian-eisentraut"
  - name: "David N. Jansen"
    link: "https://researchr.org/alias/david-n.-jansen"
  - name: "Jens Chr. Godskesen"
    link: "https://researchr.org/alias/jens-chr.-godskesen"
  year: "2018"
  doi: "https://doi.org/10.1007/s00236-018-0313-1"
  links:
    doi: "https://doi.org/10.1007/s00236-018-0313-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/acta/ZhangYSHEJG18"
  researchr: "https://researchr.org/publication/ZhangYSHEJG18"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "55"
  number: "6"
  pages: "461-488"
  kind: "article"
  key: "ZhangYSHEJG18"
- title: "The quest for minimal quotients for probabilistic and Markov automata"
  author:
  - name: "Christian Eisentraut"
    link: "https://researchr.org/alias/christian-eisentraut"
  - name: "Holger Hermanns"
    link: "https://researchr.org/alias/holger-hermanns"
  - name: "Johann Schuster"
    link: "https://researchr.org/alias/johann-schuster"
  - name: "Andrea Turrini"
    link: "https://researchr.org/alias/andrea-turrini"
  - name: "Lijun Zhang"
    link: "https://iscasmc.ios.ac.cn/?page_id=148"
  year: "2018"
  doi: "https://doi.org/10.1016/j.ic.2018.08.003"
  links:
    doi: "https://doi.org/10.1016/j.ic.2018.08.003"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iandc/EisentrautHSTZ18"
  researchr: "https://researchr.org/publication/EisentrautHSTZ18"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "262"
  number: "Part"
  pages: "162-186"
  kind: "article"
  key: "EisentrautHSTZ18"
- 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: "https://doi.org/10.1007/978-3-030-17462-0"
  links:
    doi: "https://doi.org/10.1007/978-3-030-17462-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/2019-1"
  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:
  - name: "Tomás Vojnar"
    link: "https://researchr.org/alias/tom%C3%A1s-vojnar"
  - name: "Lijun Zhang"
    link: "https://iscasmc.ios.ac.cn/?page_id=148"
  volume: "11427"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-17462-0"
  kind: "proceedings"
  key: "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 II"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-17465-1"
  links:
    doi: "https://doi.org/10.1007/978-3-030-17465-1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/2019-2"
  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:
  - name: "Tomás Vojnar"
    link: "https://researchr.org/alias/tom%C3%A1s-vojnar"
  - name: "Lijun Zhang"
    link: "https://iscasmc.ios.ac.cn/?page_id=148"
  volume: "11428"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-17465-1"
  kind: "proceedings"
  key: "tacas-2019-2"