Literature/FormalizingAutomata-Constable.pdf
author urbanc
Mon, 31 Jan 2011 12:54:31 +0000
changeset 54 c19d2fc2cc69
parent 10 9563a9cd28d3
permissions -rw-r--r--
a bit more on the paper

(binary:application/pdf)