Publisher
Springer International Publishing
Reference16 articles.
1. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16, 1512–1542 (1994)
2. Meseguer, J., Palomino, M., Martí-Oliet, N.: Equational abstractions. Theor. Comput. Sci. 403, 239–264 (2008)
3. Nguyen, T.T.T., Ogata, K.: Graphical animations of state machines. Submitted for Publication (2017).
https://tamntt.bitbucket.io/Research/Paper/smga.pdf
4. Mellor-Crummey, J.M., Scott, M.L.: Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Trans. Comput. Syst. 9, 21–65 (1991)
5. LNCS;M Clavel,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献