Dorsch U, Milius S, Schröder L, Wißmann T (2017)
Publication Type: Conference contribution
Publication year: 2017
Publisher: Schloss Dagstuhl
Book Volume: 85
Pages Range: 28:1--28:16
Conference Proceedings Title: Proc. 28th International Conference on Concurrency Theory (CONCUR 2017)
APA:
Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2017). Efficient Coalgebraic Partition Refinement. In Meyer R, Nestmann U (Eds.), Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) (pp. 28:1--28:16). Schloss Dagstuhl.
MLA:
Dorsch, Ulrich, et al. "Efficient Coalgebraic Partition Refinement." Proceedings of the Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) Ed. Meyer R, Nestmann U, Schloss Dagstuhl, 2017. 28:1--28:16.
BibTeX: Download