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,
  Title                    = {{COMPL}e{T}e {A} {COM}munication {P}rotocol va{L}idation {T}oolchain},
  Author                   = {Gröning, Sven and Rosas, Christopher and Wietfeld, Christian},
  Booktitle                = {International SPIN Symposium on Model Checking of Software},
  Year                     = {2013},

  Address                  = {Stony Brook, NY, USA},
  Month                    = {July},
  Publisher                = {Springer, Lecture Notes in Computer Science (LNCS)}
}
Powered by bibtexbrowser