Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. K. R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer, 2nd revised edition, 1997.
2. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports. Springer, 1999.
3. Lect Notes Comput Sci;C. Cïrstea,1998
4. A. Corradini, M. Lenisa, and U. Montanari, editors. Coalgebraic Methods in Computer Science (CMCS’01), number 44 in Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam, 2001. http://www.elsevier.nl/locate/entcs/volume44.html .
5. B. A. Davey and H. A. Priestley. Introduction to Lattices and Order. Math. Textbooks. Cambridge Univ. Press, 1990.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献