Affiliation:
1. Department of Information Systems, Faculty of Environmental and Information Studies, Tottori University of Environmental Studies
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software
Reference27 articles.
1. [1] 19th Annual Symposium on Foundations of Computer Science, IEEE, Ann Arbor, Michigan, USA, Oct. 1978.
2. [2] F. Baccelli, G. Cohen, G.J. Olsder, and J.P. Quadrat, Synchronization and Linearity, Wiley, 1992.
3. [3] M. Chechik, B. Devereux, S.M. Easterbrook, A.Y.C. Lai, and V. Petrovykh, “Efficient multiple-valued model-checking using lattice representations,” CONCUR, pp.441-455, 2001.
4. [4] E.M. Clarke and E.A. Emerson, “Design and synthesis of synchronization skeletons using branching-time temporal logic,” Logic of Programs, pp.52-71, 1981.
5. [5] E.M. Clarke, O. Grumberg, and D.E. Long, “Model checking and abstraction,” Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.343-354, ACM SIGACT and SIGPLAN, ACM Press, 1992.