The SPIN verification system: proceedings of a DIMACS workshop, August 5, 1996

the Second Workshop on the SPIN Verification System. Jean-Charles Grégoire ..., ed

Providence, RI: American Math. Soc, 1997

Konferenzschrift, Sammelwerk, Gedruckte Ressource - XII, 203 S. : graph. Darst.

Titel:	The SPIN verification system: proceedings of a DIMACS workshop, August 5, 1996
Verantwortlichkeitsangabe:	the Second Workshop on the SPIN Verification System. Jean-Charles Grégoire ..., ed
Autor/in / Beteiligte Person:	Grégoire, Jean-Charles
Körperschaft:	Center for Discrete Mathematics and Theoretical Computer Science ; Workshop on the SPIN Verification System
Verwandtes Werk:	DIMACS series in discrete mathematics and theoretical computer science — Weitere Bände
Veröffentlichung:	Providence, RI: American Math. Soc, 1997
Medientyp:	Konferenzschrift, Sammelwerk
Datenträgertyp:	Gedruckte Ressource
Umfang:	XII, 203 S. : graph. Darst.
ISBN:	0821806807
Schlagwort:	Verteiltes System Software Formale Spezifikationstechnik Verifikation
Sonstiges:	Gesamttitelangabe: DIMACS series in discrete mathematics and theoretical computer science ; 32 Konferenzschrift: New Brunswick, NJ, 1996 Lokale Notationen: TVL; TXD; TUQ Fächer: Informatik hbz Verbund-ID: HT007541847

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.