COMPL~eT~e - A COMmunication Protocol vaLidation Toolchain (Englisch)
- Neue Suche nach: Groning, S.
- Neue Suche nach: Rosas, C.
- Neue Suche nach: Wietfeld, C.
- Neue Suche nach: Groning, S.
- Neue Suche nach: Rosas, C.
- Neue Suche nach: Wietfeld, C.
- Neue Suche nach: Bartocci, E.
- Neue Suche nach: Ramakrishnan, C.R.
In:
Model Checking Software 20th International Symposium, SPIN 2013 Stony Brook, NY, USA, July 2013 Proceedings
7976
;
196-208
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:COMPL~eT~e - A COMmunication Protocol vaLidation Toolchain
-
Beteiligte:Groning, S. ( Autor:in ) / Rosas, C. ( Autor:in ) / Wietfeld, C. ( Autor:in ) / Bartocci, E. / Ramakrishnan, C.R.
-
Erschienen in:Model Checking Software 20th International Symposium, SPIN 2013 Stony Brook, NY, USA, July 2013 Proceedings , 7976 ; 196-208LECTURE NOTES IN COMPUTER SCIENCE , 7976 ; 196-208
-
Verlag:
- Neue Suche nach: SPRINGER-VERLAG
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:13 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 004
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 004 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.