Efficient and Modular Coalgebraic Partition Refinement (bibtex)

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

Reference:

Thorsten Wißmann, Ulrich Dorsch, Stefan Milius and Lutz Schröder: Efficient and Modular Coalgebraic Partition Refinement, In Log. Methods. Comput. Sci., 16(1), pp. 8:1–8:63, 2020.

Bibtex Entry:

@Article{WissmannEA20,
  author = 	 {Thorsten Wi{\ss}mann and Ulrich Dorsch and Stefan Milius and Lutz Schr\"oder},
  title = 	 {Efficient and Modular Coalgebraic Partition Refinement},
  journal = 	 {Log.~Methods.~Comput.~Sci.},
  year = 	 {2020},
  OPTkey = 	 {},
  volume = 	 {16},
  number = 	 {1},
  pages = 	 {8:1--8:63},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}