further info available_澳门葡京手机版app下载

msteffen
2014-02-12T13:36:24.670Z
type:structured-message
www.uio.no

I wrote more info about how to get access to the dfa implementation. it can be found here:

http://msteffen.at.ifi.uio.no/teaching/2014/sa/dfa/setup/

(it's a evolving document, new info may be added).