author:(author unknown or not listed) (none)
published in: 2005
related url: https://springerlink3.metapress.com/content/rv6l72w0892l5...
Note: This link will take you to an external website. GambLib.org is not responsible for accessibility and content of external websites.
type: book chapter
is part of a publication: Abstraction, Refinement and Proof for Probabilistic Systems
original language: English
article pagination: start page: 293 - end page: 310
- Article entered in GambLIB database on dec. 13. 2010, 09:12
- Item added by staff