BibTeX record conf/iccsa/DateY16

• > Home > conf/iccsa/DateY16

@inproceedings{DBLP:conf/iccsa/DateY16,
  author       = {Hiroaki Date and
                  Noriaki Yoshiura},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Ana Maria Alves Coutinho Rocha and
                  Carmelo Maria Torre and
                  David Taniar and
                  Bernady O. Apduhan and
                  Elena N. Stankova and
                  Shangguang Wang},
  title        = {Computational Verification of Network Programs for Several OpenFlow
                  Switches in Coq},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2016 - 16th International
                  Conference, Beijing, China, July 4-7, 2016, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9787},
  pages        = {223--238},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42108-7\_17},
  doi          = {10.1007/978-3-319-42108-7\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/DateY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}