Relational presheaves as labelled transition systems (bibtex)
by P. Sobociński
Reference:
P. Sobociński, "Relational presheaves as labelled transition systems", In Coalgebraic Methods in Computer Science (CMCS `12), Springer, vol. 7399, pp. 40-50, 2012.
Bibtex Entry:
@string{lncs="LNCS"}
@INPROCEEDINGS{Sobocinski2012,
  author = {P. Soboci\'{n}ski},
  title = {Relational presheaves as labelled transition systems},
  booktitle = {Coalgebraic Methods in Computer Science ({CMCS `12})},
  year = {2012},
  volume = {7399},
  series = {LNCS},
  pages = {40-50},
  publisher = {Springer},
  timestamp = {27.04.12}
}
Powered by bibtexbrowser