Author:
Margaria Tiziana,Steffen Bernhard
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. J. Brockman, S. Director: “The Schema-Based Approach to Workflow management”, IEEE Trans. on Comp.-Aided Design Vol.14(10), Oct. 1995, pp. 1257–1267.
2. 2. M. von der Beeck, T. Margaria, B. Steffen: “A Formal Requirements Engineering Method Combining Specification, Synthesis, and Verification,” Proc. IEEE SEE'97, Cottbus (D), April 1997, IEEE Comp. Soc. Press, pp.131–144.
3. M. Bushnell, S. Director: “ULYSSES — A knowledge based VLSI design environment”, Int. J. AI Eng., Vol.2, N.1, January 1987.
4. J. Daniell, S. Director: “An Object Oriented Approach to CAD Tool Control,” Trans. on Computer-Aided Design, Vol.10, N.6, June 1991, pp.698–713.
5. A. Emerson, E. Clarke: “Using branching time temporal logic to synthesize synchonization skeletons,” Sc. of Computer Progr., Vol.2, pp.241–266, 1982.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献