Formal Specification and Dependability Analysis of Optical Communication Networks (bibtex)

by U Siddique, KA Hoque and Taylor T. Johnson

Reference:

U Siddique, KA Hoque and Taylor T. Johnson, "Formal Specification and Dependability Analysis of Optical Communication Networks", In Design, Automation, and Test in Europe (DATE'17), IEEE, pp. 1564–1569, 2017.

Bibtex Entry:

@inproceedings{siddique2017date,
  title = {Formal Specification and Dependability Analysis of Optical Communication Networks},
  author = {U Siddique and KA Hoque and Taylor T. Johnson},
  year = {2017},
  month = mar,
  booktitle = {Design, Automation, and Test in Europe (DATE'17)},
  pages = {1564--1569},
  publisher = {IEEE},
  doi = {10.23919/DATE.2017.7927239},
  publabel = {C17},
  pubtype = {C},
  dblp = {conf/date/SiddiqueHJ17},
  s2id = {39616374},
}