Generic Partition Refinement and Weighted Tree Automata (bibtex)

by Hans-Peter Deifel, Stefan Milius, Lutz Schröder and Thorsten Wißmann

Reference:

Hans-Peter Deifel, Stefan Milius, Lutz Schröder and Thorsten Wißmann: Generic Partition Refinement and Weighted Tree Automata, In Maurice ter Beek et al., ed.: Proc. International Symposium on Formal Methods (FM'19), Lecture Notes Comput. Sci., vol. 11800, pp. 280–297, Springer, 2019. \bfseries Best Theory Paper at FM 2019

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{DeifelEA19,
  author = 	 {Hans{-}Peter Deifel and Stefan Milius and Lutz Schr{\"o}der and Thorsten Wi{\ss}mann},
  title = 	 {Generic Partition Refinement and Weighted Tree Automata},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~International Symposium on Formal Methods (FM'19)},
  year = 	 {2019},
  editor = 	 {Maurice ter Beek et al.},
  volume = 	 {11800},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  pages = 	 {280--297},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  note = 	 {{\bfseries Best Theory Paper at FM 2019}},
  OPTannote = 	 {}
}