Functional Automata

From MaRDI portal


MaRDI QIDQ7361722FDO


Authors Tobias Nipkow

Publication date 30 March 2004






Cited in
(1)


This page was built for software: Functional Automata

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Functional_Automata&oldid=105368360"
Powered by MediaWiki