Radboud University
iCIS

Automata Wiki

  • Home
  • Please contribute!

Benchmarks

  • Overview
  • Benchmark structure
  • Modelling frameworks
  • Evaluation criteria
  • Downloads

Software

  • Scripts

People

  • Contributors

Further reading and links

  • Learning/testing tools
  • Other repositories
  • Bibliography
    print · login   
Home » Contributors

Contributors

  • Fides Aarts
  • Petra van den Bos
  • Alexander Fedotov
  • Paul Fiterau-Brostean
  • Falk Howar
  • Harco Kuppens
  • Joshua Moerman
  • Daniel Neider
  • Erik Poll
  • Joeri de Ruiter
  • Mathijs Schuts
  • Frits Vaandrager