Tilbage til artikeldetaljer An Interface Theory for Input/Output Automata Download Download PDF