1
Formal Methods, Foundations and Applications [E-Book] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /
Other Personal Name(s): “...Morgan, Carroll....”

Full text 
Favorites
Saved in:
2
Theoretical Aspects of Computing - ICTAC 2009 [E-Book] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
Other Personal Name(s): “...Morgan, Carroll...”

Full text 
Favorites
Saved in:
3
Abstraction, Refinement and Proof for Probabilistic Systems [E-Book] /
Other Personal Name(s): “...Morgan, Carroll....”

Full text 
Favorites
Saved in:

Narrow Search Results