print · login   

Please contribute!

You are welcome to add new benchmark models, descriptions, results to the automata wiki.

There are several ways to contribute:

  • we can provide you with an account so that you can contribute to the wiki yourself, or
  • you just can send us (links to) some benchmark models with references.

In the Help section of this wiki you can find instructions how to add a new benchmark.