Efficient Coalgebraic Partition Refinement (bibtex)
by Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann
Reference:
Efficient Coalgebraic Partition Refinement (Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann), In Proc. 28th International Conference on Concurrency Theory (CONCUR 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [Full version]
Bibtex Entry:
@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>},
}
Powered by bibtexbrowser