Interleaving semantics and action refinement with atomic choice

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Czaja, Ingo (VerfasserIn)
Weitere Verfasser:	Glabbeek, Rob J. van (VerfasserIn), Goltz, Ursula (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Sankt Augustin 1991
Schriftenreihe:	Arbeitspapiere der GMD 594
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!