@inproceedings{siddique2017formal,
  title={Formal Specification and Dependability Analysis of Optical Communication Networks},
  author={Siddique, Umair and Hoque, Khaza Anuarul and Johnson, Taylor T.},
  booktitle={Design, Automation, and Test in Europe},
  year={2017},
  organization={IEEE},
  url_Paper =  {papers/DATE2017.pdf}
}

{"_id":"e63X5x6CNW4Pz3JKG","bibbaseid":"siddique-hoque-johnson-formalspecificationanddependabilityanalysisofopticalcommunicationnetworks-2017","authorIDs":["2WciMHcRvtktoDA3W","htvCmvEBSwLbxozzn"],"author_short":["Siddique, U.","Hoque, K. A.","Johnson, T. T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Specification and Dependability Analysis of Optical Communication Networks","author":[{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Hoque"],"firstnames":["Khaza","Anuarul"],"suffixes":[]},{"propositions":[],"lastnames":["Johnson"],"firstnames":["Taylor","T."],"suffixes":[]}],"booktitle":"Design, Automation, and Test in Europe","year":"2017","organization":"IEEE","url_paper":"papers/DATE2017.pdf","bibtex":"@inproceedings{siddique2017formal,\n title={Formal Specification and Dependability Analysis of Optical Communication Networks},\n author={Siddique, Umair and Hoque, Khaza Anuarul and Johnson, Taylor T.},\n booktitle={Design, Automation, and Test in Europe},\n year={2017},\n organization={IEEE},\n url_Paper = {papers/DATE2017.pdf}\n}\n\n","author_short":["Siddique, U.","Hoque, K. A.","Johnson, T. T."],"key":"siddique2017formal","id":"siddique2017formal","bibbaseid":"siddique-hoque-johnson-formalspecificationanddependabilityanalysisofopticalcommunicationnetworks-2017","role":"author","urls":{" paper":"diner007.github.io/papers/DATE2017.pdf"},"metadata":{"authorlinks":{"hoque, k":"https://www.kahoque.com/"}},"downloads":0},"bibtype":"inproceedings","biburl":"diner007.github.io/ref.bib","creationDate":"2020-04-20T05:37:50.282Z","downloads":0,"keywords":[],"search_terms":["formal","specification","dependability","analysis","optical","communication","networks","siddique","hoque","johnson"],"title":"Formal Specification and Dependability Analysis of Optical Communication Networks","year":2017,"dataSources":["6YYKW9kmn2TAMQtCF","Gash8qyff28DoHD7j","YCBcQPneB9oxahSnp"]}