Max-plus automata
scientific article; zbMATH DE number 7469503
scientific article