On modelling and analysing concurrent systems

Zugl.: Göteborg, Univ., Diss., 2006

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Ostrovský, Karol (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Göteborg Chalmers Univ. of Technology 2005
Schriftenreihe:	Doktorsavhandlingar vid Chalmers Tekniska Högskola N.S., 2406 Technical report / Department of Computer Science and Engineering, Chalmers University of Technology D 11
Schlagworte:	Hochschulschrift > Nebenläufigkeit > Programmverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!