DBLP BibTeX Record 'journals/tc/CiardoL94'

@article{DBLP:journals/tc/CiardoL94,
  author    = {Gianfranco Ciardo and
               Christoph Lindemann},
  title     = {Comments on "Analysis of Self-Stabilizing Clock Synchronization
               by Means of Stochastic Petri Nets"},
  journal   = {IEEE Trans. Computers},
  volume    = {43},
  number    = {12},
  year      = {1994},
  pages     = {1453-1456},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/12.338111},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}