|
1. |
|
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle Mciver, Charles Carroll Morgan
E-bok. Springer New York, USA, 2005.
|
|
2. |
|
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle Mciver, Charles Carroll Morgan
Inbunden. Springer-Verlag New York Inc., USA, 2004.
|
|
3. |
|
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle Mciver, Charles Carroll Morgan
Häftad. Springer-Verlag New York Inc., 2010.
|
|
4. |
|
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker, Charles Carroll Morgan
Häftad. Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Tyskland, 2009.
|
|
5. |
|
Theoretical Aspects of Computing - ICTAC 2009
Martin Leucker, Charles Carroll Morgan
E-bok. Springer Berlin Heidelberg, Tyskland, 2009.
|
|
|
|