WiCcA: LTS generation tool for wire calculus (bibtex)

by Jennifer Lantair and Paweł Sobociński

Reference:

Jennifer Lantair and Paweł 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 = {Jennifer Lantair and Pawe{\l} 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}
}