WiCcA: LTS generation tool for wire calculus (bibtex)
by J. Lantair and P. Sobociński
Reference:
J. Lantair and P. Sobociński, "WiCcA: LTS generation tool for wire calculus", In Algebra and Coalgebra in Computer Science (CALCO Tools `11), Springer, vol. 6859, pp. 407–412, 2011.
Bibtex Entry:
@string{lncs="LNCS"}
@INPROCEEDINGS{Lantair2011,
  author = {J. Lantair and P. Soboci{\'n}ski},
  title = {{WiCcA}: {LTS} generation tool for wire calculus},
  booktitle = {Algebra and Coalgebra in Computer Science ({CALCO Tools `11)}},
  year = {2011},
  volume = {6859},
  series = {LNCS},
  pages = {407--412},
  publisher = {Springer},
  timestamp = {17.05.11}
}
Powered by bibtexbrowser