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), lncsarcoss, vol. 13244, pp. 159–177, springer, 2022.
Bibtex Entry:
@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 = 	 {}
}
Powered by bibtexbrowser