Mathematical techniques for analyzing concurrent and probabilistic systems / J. J. M. M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors.
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Providence, R.I. :
American Mathematical Society,
c2004.
|
| Series: | CRM monograph series ;
v. 23 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Pilkington Library - Pilkington Main Collection
| Shelfmark: |
519.2/MAT |
|---|---|
| Copy [0403124298] | Available |
| Copy [0402919874] | Available |