Tools and algorithms for the construction and analysis of systems first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers

Literaturangaben

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	TACAS (BerichterstatterIn)
Weitere Verfasser:	Brinksma, Ed (BerichterstatterIn), Cleaveland, Walter R. (HerausgeberIn), Larsen, Kim Guldstrand (HerausgeberIn), Margaria-Steffen, Tiziana (HerausgeberIn), Steffen, Bernhard (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin u.a. Springer 1995
Schriftenreihe:	Lecture notes in computer science 1019
Schlagworte:	Electronic data processing > Distributed processing > System analysis > Congresses > Konferenzschrift > Aufsatzsammlung > Verteiltes System > Systemtheorie
Online Zugang:	Cover
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!