Zum Inhalt
Fakultät für Elektrotechnik und Informationstechnik
S. Gröning, C. Rosas, C. Wietfeld

COMPLeTe A COMmunication Protocol vaLidation Toolchain

-
in
  • Univ.-Prof. Dr.-Ing. Christian Wietfeld
  • Publications

In International SPIN Symposium on Model Checking of Software, Springer, Lecture Notes in Computer Science (LNCS), Stony Brook, NY, USA, July 2013.