Author:
Lin Hai,Antsaklis Panos J.
Publisher
Springer International Publishing
Reference43 articles.
1. Stephen Edwards, Luciano Lavagno, Edward A Lee, and Alberto Sangiovanni-Vincentelli. Design of embedded systems: Formal models, validation, and synthesis. Proceedings of the IEEE, 85(3):366–390, 1997.
2. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT press, 1999.
3. Matt Kaufmann, J Strother Moore, and Panagiotis Manolios. Computer-aided reasoning: an approach. Kluwer Academic Publishers, 2000.
4. T. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? Journal of Computer and System Sciences, 57:94–124, 1998.
5. Michael Sipser. Introduction to the Theory of Computation, volume 2. Thomson Course Technology Boston, 2006.