Author:
Sukvanich Punwess,Thongtak Arthit,Vatanawood Wiwat
Reference20 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking (Representation and Mind Series), p. 975. The MIT Press (2008)
2. Saeedloei, N., Gupta, G.: Verifying complex continuous real-time systems with coinductive CLP(R). In: Proceedings of the 4th International Conference on Language and Automata Theory and Applications, pp. 536–548. Springer-Verlag, Trier (2010)
3. Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems, pp. 197–212. Springer-Verlag (1990)
4. Ostroff, J.S.: Temporal logic for real time systems, p. 209. John Wiley & Sons, Inc. (1989)
5. Henzinger, T.A., Manna, Z., Pnueli, A.: Temporal proof methodologies for real-time systems. Stanford University (1991)