The analysis of concurrent systems Cambridge, September 12 - 16, 1983 ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: Workshop on the Analysis of Concurrent Systems (BerichterstatterIn)
Weitere Verfasser: Denvir, Tim (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 1985
Schriftenreihe:Lecture notes in computer science 207
Schlagworte:
Online Zugang:Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!