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
Frits Vaandrager