Back to article IJSW Use of Büchi automata and randomness for the description of biological processes Download Download PDF