BibTeX record conf/icdcsw/WangMG00

download as .bib file

@inproceedings{DBLP:conf/icdcsw/WangMG00,
  author       = {Bow{-}Yaw Wang and
                  Jos{\'{e}} Meseguer and
                  Carl A. Gunter},
  editor       = {Ten{-}Hwang Lai},
  title        = {Specification and Formal Analysis of a {PLAN} Algorithm in Maude},
  booktitle    = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
                  Taiwan, {ROC}},
  pages        = {E49--E56},
  year         = {2000},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcsw/WangMG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics