WhoCites Definitions mb automata 3 Sections GenAutomata Doc

Who Cites cand?
candDef A & B == AB

Syntax:A & B has structure: cand(A; B)

About:
product!abstraction

WhoCites Definitions mb automata 3 Sections GenAutomata Doc