@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
}

{"_id":"j94tfgXZZpEwS33xQ","bibbaseid":"jain-lam-modelingandverificationofrealtimeprotocolsforbroadcastnetworks-1987","downloads":0,"creationDate":"2016-02-03T13:02:29.399Z","title":"Modeling and Verification of Real-Time Protocols for Broadcast Networks.","author_short":["Jain, P.","Lam, S. S."],"year":1987,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/simon steyskal?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2015-12-10T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Jain"],"firstnames":["Pradeep"],"suffixes":[]},{"propositions":[],"lastnames":["Lam"],"firstnames":["Simon","S."],"suffixes":[]}],"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","bibtex":"@article{journals/tse/JainL87,\n added-at = {2015-12-10T00:00:00.000+0100},\n author = {Jain, Pradeep and Lam, Simon S.},\n biburl = {http://www.bibsonomy.org/bibtex/2f6c61712c8da233dc98b92638abef188/dblp},\n ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233511},\n interhash = {954ddeb2b8ea02e264ddea646810958c},\n intrahash = {f6c61712c8da233dc98b92638abef188},\n journal = {IEEE Trans. Software Eng.},\n keywords = {dblp},\n number = 8,\n pages = {924-937},\n timestamp = {2015-12-12T11:54:00.000+0100},\n title = {Modeling and Verification of Real-Time Protocols for Broadcast Networks.},\n url = {http://dblp.uni-trier.de/db/journals/tse/tse13.html#JainL87},\n volume = 13,\n year = 1987\n}\n\n","author_short":["Jain, P.","Lam, S. S."],"key":"journals/tse/JainL87","id":"journals/tse/JainL87","bibbaseid":"jain-lam-modelingandverificationofrealtimeprotocolsforbroadcastnetworks-1987","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233511","Paper":"http://dblp.uni-trier.de/db/journals/tse/tse13.html#JainL87"},"keyword":["dblp"],"downloads":0},"search_terms":["modeling","verification","real","time","protocols","broadcast","networks","jain","lam"],"keywords":["dblp"],"authorIDs":[],"dataSources":["qcMBJkGk4FzM4bdJY"]}