Document is current

Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata

Crossref DOI link: https://doi.org/10.1007/s10559-017-9953-3

Published Online: 2017-07-26

Published Print: 2017-07

Update policy: https://doi.org/10.1007/springer_crossmark_policy