|
Mcta: Heuristics and Search for Timed Systems / / Martin Wehrle and Sebastian Kupferschmid
|
2012
|
1
|
|
McTaggart on love / / Dennis McKerlie --
|
2011
|
1
|
|
McTaggart's proof -- / 8.
|
1998
|
1
|
|
mctau: Bridging the Gap between Modest and UPPAAL / / Jonathan Bogdoll, Alexandre David, Arnd Hartmanns and Holger Hermanns --
|
2012
|
1
|
|
McTeague (Frank Norris) / / Deanna K. Kreisel --
|
2004
|
1
|
|
MCTS Experiments on the Voronoi Game / / Bruno Bouzy, Marc Métivier and Damien Pellier --
|
2012
|
1
|