Holzer M., Kutrib M. - Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings (Lecture Notes in Computer Science) - 2014.pdf
Holzer M., Kutrib M. - Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings (Lecture Notes in Computer Science) - 2014.pdf- 8.22 MB