Mathematical techniques for analyzing concurrent and probabilistic systems

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Mathematical Models and Techniques for Analysing Systems (BerichterstatterIn)
Weitere Verfasser:	Rutten, J. J. M. M. (BerichterstatterIn), Rutten, Jan (BerichterstatterIn), Panangaden, Prakash (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Providence, RI American Mathematical Society 2004
Schriftenreihe:	CRM monograph series 23
Schlagworte:	System analysis > Konferenzschrift > Stochastisches System > Nebenläufigkeit > Prozessalgebra > Verifikation
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!