Media type: E-Article Title: Lecture Notes in Computer Science: COMPLeTe − A COMmunication Protocol vaLidation Toolchain Contributor: Gröning, Sven; Rosas, Christopher; Wietfeld, Christian Published: Springer Berlin Heidelberg, 2013 Published in: Lecture Notes in Computer Science (2013), Seite 196-208 Language: Without Specification DOI: 10.1007/978-3-642-39176-7_13 ISBN: 9783642391750; 9783642391767 ISSN: 0302-9743; 1611-3349 Origination: Footnote: