BibTeX record conf/pstv/HiguchiSF94

download as .bib file

@inproceedings{DBLP:conf/pstv/HiguchiSF94,
  author    = {Masahiro Higuchi and
               S. Sugawa and
               Mamoru Fujii},
  editor    = {Son T. Vuong and
               Samuel T. Chanson},
  title     = {A method for verifying liveness of protocols modeled as a class of
               {ECFSM}},
  booktitle = {Protocol Specification, Testing and Verification XIV, Proceedings
               of the Fourteenth {IFIP} {WG6.1} International Symposium on Protocol
               Specification, Testing and Verification, Vancouver, BC, Canada, 1994},
  series    = {{IFIP} Conference Proceedings},
  volume    = {1},
  pages     = {287--302},
  publisher = {Chapman {\&} Hall},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl    = {https://dblp.org/rec/conf/pstv/HiguchiSF94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics