WhoCites Definitions mb automata 1 Sections GenAutomata Doc

Who Cites mk ioa?
mk_ioaDef mk_ioa(ds, da, init, pre, eff, frame) == < ds,da,init,pre,eff,frame >

Syntax:mk_ioa(ds, da, init, pre, eff, frame) has structure: mk_ioa(ds; da; init; pre; eff; frame)

About:
pair!abstraction

WhoCites Definitions mb automata 1 Sections GenAutomata Doc