Distributed Coalgebraic Partition Refinement (bibtex)

by Fabian Birkmann, Hans-Peter Deifel and Stefan Milius

Reference:

Fabian Birkmann, Hans-Peter Deifel and Stefan Milius: Distributed Coalgebraic Partition Refinement, In Dana Fisman, Grigore Roşu, eds.: Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes Comput. Sci. (ARCoSS), vol. 13244, pp. 159–177, Springer, 2022.

Bibtex Entry:

@string{lncsarcoss="Lecture Notes Comput. Sci. (ARCoSS)"}
@string{springer="Springer"}
@InProceedings{bdm22,
  author = 	 {Birkmann, Fabian and Deifel, Hans-Peter and Milius, Stefan},
  title = 	 {Distributed Coalgebraic Partition Refinement},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
  year = 	 {2022},
  editor = 	 {Fisman, Dana and Ro\c{s}u, Grigore},
  volume = 	 {13244},
  OPTnumber = 	 {},
  series = 	 lncsarcoss,
  pages = 	 {159-177},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = springer,
  OPTnote = 	 {},
  OPTannote = 	 {}
}