ISSN 2307-6410

Input/Output Automata