Formal development of concurrent systems using algebraic high level nets and transformations

Bibliographische Detailangaben

1. Verfasser:	Ribeiro, Leila (VerfasserIn)
Weitere Verfasser:	Ehrig, Hartmut (VerfasserIn), Padberg, Julia (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Berlin Leiter d. Fachbibl. Informatik 1993
Schriftenreihe:	Bericht / Technische Universität Berlin, Fachbereich 20, Informatik 93,13
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!