Efficient Coalgebraic Partition Refinement (bibtex)

by Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann

Reference:

Ulrich Dorsch, Stefan Milius, Lutz Schröder and Thorsten Wißmann: Efficient Coalgebraic Partition Refinement, In Proc. 28th International Conference on Concurrency Theory (CONCUR 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [Full version]

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{DorschEA17,
  author = {Ulrich Dorsch and Stefan Milius and Lutz Schr{\"o}der and Thorsten Wi{\ss}mann},
  title = {Efficient Coalgebraic Partition Refinement},
  booktitle = {Proc.~28th International Conference on Concurrency Theory (CONCUR 2017)},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year = {2017},
  comment ={<a href="https://arxiv.org/abs/1705.08362">[Full version]</a>},
}