Author:
Cortés Luis Alejandro,Eles Petru,Peng Zebo
Subject
Hardware and Architecture,Software
Reference43 articles.
1. R. Alur, C. Courcoubetis, D.L. Dill, Model checking for real-time systems, in: Proc. Symposium on Logic in Computer Science, 1990, pp. 414–425
2. F. Balarin, H. Hsieh, A. Jurecska, L. Lavagno, A. Sangiovanni-Vincentelli, Formal verification of embedded systems based on CFSM networks, in: Proc. DAC, 1996, pp. 568–571
3. New methods to color the vertices of a graph;Brélaz;Communications of the ACM,1979
4. Embedded system design;Camposano;Design Automation for Embedded Systems,1996
5. Complexity results for 1-safe nets;Cheng;Theoretical Computer Science,1995
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献