Modeling and Verification of Real-Time Protocols for Broadcast Networks. Jain, P. & Lam, S. S. IEEE Trans. Software Eng., 13(8):924-937, 1987.
Modeling and Verification of Real-Time Protocols for Broadcast Networks. [link]Link  Modeling and Verification of Real-Time Protocols for Broadcast Networks. [link]Paper  bibtex   
@article{journals/tse/JainL87,
  added-at = {2015-12-10T00:00:00.000+0100},
  author = {Jain, Pradeep and Lam, Simon S.},
  biburl = {http://www.bibsonomy.org/bibtex/2f6c61712c8da233dc98b92638abef188/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233511},
  interhash = {954ddeb2b8ea02e264ddea646810958c},
  intrahash = {f6c61712c8da233dc98b92638abef188},
  journal = {IEEE Trans. Software Eng.},
  keywords = {dblp},
  number = 8,
  pages = {924-937},
  timestamp = {2015-12-12T11:54:00.000+0100},
  title = {Modeling and Verification of Real-Time Protocols for Broadcast Networks.},
  url = {http://dblp.uni-trier.de/db/journals/tse/tse13.html#JainL87},
  volume = 13,
  year = 1987
}

Downloads: 0