Return to Article Details Use of Büchi automata and randomness for the description of biological processes Download Download PDF