BibTeX record conf/micai/MonroyBG00

• > Home > conf/micai/MonroyBG00

@inproceedings{DBLP:conf/micai/MonroyBG00,
  author       = {Ra{\'{u}}l Monroy and
                  Alan Bundy and
                  Ian Green},
  editor       = {Osvaldo Cair{\'{o}} and
                  Luis Enrique Sucar and
                  Francisco J. Cantu},
  title        = {Searching for a Solution to Program Verification=Equation Solving
                  in {CCS}},
  booktitle    = {{MICAI} 2000: Advances in Artificial Intelligence, Mexican International
                  Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14,
                  2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1793},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10720076\_1},
  doi          = {10.1007/10720076\_1},
  timestamp    = {Wed, 25 Sep 2019 18:23:11 +0200},
  biburl       = {https://dblp.org/rec/conf/micai/MonroyBG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}