Author:
Cheng Chih-Hong,Bensalem Saddek,Chen Yu-Fang,Yan Rongjie,Jobstmann Barbara,Ruess Harald,Buckl Christian,Knoll Alois
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Abujarad, F., Bonakdarpour, B., Kulkarni, S.: Parallelizing deadlock resolution in symbolic synthesis of distributed programs. In: PDMC 2009. EPTCS, vol. 14, pp. 92–106 (2009)
2. Aloul, F., Markov, I., Sakallah, K.: FORCE: a fast and easy-to-implement variable-ordering heuristic. In: GLSVLSI 2003, pp. 116–119. ACM, New York (2003)
3. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87–106 (1987)
4. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In: ICSE 2007, pp. 784–787. IEEE Computer Society, Los Alamitos (2007)
5. Balemi, S., Hoffmann, G., Gyugyi, P., Wong-Toi, H., Franklin, G.: Supervisory control of a rapid thermal multiprocessor. IEEE Transactions on Automatic Control 38(7), 1040–1059 (1993)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sequential Relational Decomposition;Logical Methods in Computer Science;2022-03-03
2. CrEStO: A Tool for Synthesizing Stateful Priorities;2020 16th European Dependable Computing Conference (EDCC);2020-09
3. Stateful Priorities for Precise Restriction of System Behavior;2020 16th European Dependable Computing Conference (EDCC);2020-09
4. Active Automata Learning in Practice;Lecture Notes in Computer Science;2018
5. Distributed Enforcement of Service Choreographies;Electronic Proceedings in Theoretical Computer Science;2015-02-11