Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference20 articles.
1. Translating Asynchronous Games for Distributed Synthesis;Beutner,2019
2. CTL* synthesis via LTL synthesis;Bloem,2017
3. Applications of recursive arithmetic to the problem of circuit synthesis;Church;Summaries of the Summer Institute of Symbolic Logic,1957
4. Branching Processes of Petri Nets;Engelfriet;Acta Inf.,1991
5. An Improvement of McMillan's Unfolding Algorithm;Esparza;Formal Methods Syst. Des.,2002