Model checking gossip modalities

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!