COMPLeTe A COMmunication Protocol vaLidation Toolchain (bibtex)
by , ,
Reference:
S. Gröning, C. Rosas, C. Wietfeld, "COMPLeTe A COMmunication Protocol vaLidation Toolchain", In International SPIN Symposium on Model Checking of Software, Springer, Lecture Notes in Computer Science (LNCS), Stony Brook, NY, USA, Juli 2013.
Bibtex Entry:
@InProceedings{2013groenSPIN_1,
  author    = {Gröning, Sven and Rosas, Christopher and Wietfeld, Christian},
  title     = {{COMPLeTe} {A} {COM}munication {P}rotocol va{L}idation {T}oolchain},
  booktitle = {International SPIN Symposium on Model Checking of Software},
  year      = {2013},
  publisher = {Springer, Lecture Notes in Computer Science (LNCS)},
  month     = {jul},
  address   = {Stony Brook, NY, USA},
}
Powered by bibtexbrowser