GenAutomata Sections NuprlLIB Doc

Def tre.P == tre.trace | tre.proj(P)

is mentioned

In prior sections: mb automata 3 mb automata 1 mb automata 2


GenAutomata Sections NuprlLIB Doc