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
Shelfmark:
519.2/MAT |
|
Copy number
Shelving location
Availability
| |
Copy [0402919874]
Pilkington Main Collection
Available
|
|
Copy [0403124298]
Pilkington Main Collection
Available
|