Jasen Markovski. Controllability for Nondeterministic Finite Automata with Variables. In José Cordeiro, David A. Marca, Marten van Sinderen, editors, ICSOFT 2013 - Proceedings of the 8th International Joint Conference on Software Technologies, Reykjavík, Iceland, 29-31 July, 2013. pages 438-446, SciTePress, 2013. [doi]
Abstract is missing.