A Coalgebraic View on Reachability (bibtex)
by Thorsten Wiß\/mann, Stefan Milius, Jérémy Dubut and Shin-ya Katsumate
Reference:
Thorsten Wiß\/mann, Stefan Milius, Jérémy Dubut and Shin-ya Katsumate: A Coalgebraic View on Reachability, In Comment. Math. Univ. Carolin., 60(4), 2019.
Bibtex Entry:
@Article{wmkd19,
  author = 	 {Thorsten Wi\ss\/mann and Stefan Milius and J\'er\'emy Dubut and Shin-ya Katsumate},
  title = 	 {A Coalgebraic View on Reachability},
  journal = 	 {Comment.~Math.~Univ.~Carolin.},
  year = 	 {2019},
  OPTkey = 	 {},
  volume = 	 {60},
  number = 	 {4},
  OPTpages = 	 {605--638},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}
Powered by bibtexbrowser