FMona

MaRDI QIDQ13065swMATHFDO

Official website http://www.springerlink.com/content/gckb20m9d9hekccy/fulltext.pdf

Cited in

(2)

• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
• Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure

This page was built for software: FMona