net.automatalib:automata-serialization-etf (maven): Serializers for LTSmin's Enumerated Table Format
Keywords: automata|graph|java|java-library|transition-systems