Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)

150

微信好友朋友圈 QQ好友复制链接

查看最新文献

发文信息

Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - 最新文献

查看全部

Synthesis of Petri Nets from Finite Partial Languages

Pub Date : 2008-12-31 DOI: 10.1109/ACSD.2007.72 R. Bergenthum, J. Desel, R. Lorenz, S. Mauser

RAPORT - a knowledge support system for administrative workflow processes

Pub Date : 2007-07-10 DOI: 10.1109/ACSD.2007.60 I. Budinská, V. Oravec, E. Gatial, M. Laclavik, Martin Seleng, Z. Balogh, B. Frankovic, R. Forgác, I. Mokris, L. Hluchý

Output-Determinacy and Asynchronous Circuit Synthesis

Pub Date : 2007-07-10 DOI: 10.1109/ACSD.2007.57 Victor Khomenko, Mark Schäfer, W. Vogler

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。

Book学术文献互助群
群号：481959085

文献互助智能选刊最新文献互助须知联系我们：info@booksci.cn