Mathematical techniques for analyzing concurrent and probabilistic systems
Gespeichert in:
Verfasser / Beitragende:
J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors
Ort, Verlag, Jahr:
Providence, R.I :
American Mathematical Society,
2004
Beschreibung:
1 Online-Ressource
Format:
Buch (online)
Online Zugang: