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 = 	 {}
}