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