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:
@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 = 	 {}
}
Powered by bibtexbrowser