Model checking gossip modalities

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Huhn, Michaela (VerfasserIn)
Weitere Verfasser:	Niebert, Peter (VerfasserIn), Wallner, Frank (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Karlsruhe Univ., Fak. für Informatik 1998
Schriftenreihe:	Interner Bericht / Universität Karlsruhe, Fakultät für Informatik 98,21
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Auch als elektronische Ressource vorh
Beschreibung:	22 S. graph. Darst.