|
[Bal05]
Paolo Ballarini.
Automated Game Analysis via Probabilistic Model Checking.
In Proc. 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS'05), pages 15-18.
September 2005.
[bib]
http://www.csc.liv.ac.uk/~paolo/
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.csc.liv.ac.uk/~paolo/
|