Planning Equational Verification in CCS - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Raul Monroy, Alan Bundy, Ian Green. Planning Equational Verification in CCS. In ASE. pages 43-52, 1998. [doi]

@inproceedings{MonroyBG98:0,
  title = {Planning Equational Verification in CCS},
  author = {Raul Monroy and Alan Bundy and Ian Green},
  year = {1998},
  url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500043.pdf},
  researchr = {https://researchr.org/publication/MonroyBG98%3A0},
  cites = {0},
  citedby = {0},
  pages = {43-52},
  booktitle = {ASE},
}

runs on WebDSL