Publication
-
State-of-the-Art Survey In Proceedings
September 2009 -
September 2009
-
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey Proceedings
September 2009 -
September 2009
-
A study of the possibility of sprites in the atmospheres of other planets Article
Journal of Geophysical Research - PlanetsSeptember 2009
-
September 2009
-
Decision Problems for Nash Equilibria in Stochastic Games In Proceedings
September 2009
-
Alien Sprites Magazine Article
September 2009