Author:
Orejas Fernando,Ehrig Hartmut,Pino Elvira
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. E. Astesiano. H.-J. Kreowski, B. Krieg-Brueckner, Algebraic Foundations of System specification, IFIP State of the Art Reports, Springer, 1999.
2. K.R. Apt,, Logic Programming, in Handbook of Theoretical Computer Science, Vol B:Formal Models and Semantics, Chapter 10, Elsevier, 1990.
3. Astesiano, E., Zucca, E.: D-oids: A Model for Dynamic Data Types. Mathematical Structures in Computer Science 5 (1995), pp. 257–282
4. Boerger, E., Huggins, J.K.: Abstract State Machines 1988-1998; Commented ASM Bibliography, Bull. EATCS 64 (1998), pp. 105–127
5. Lect Notes Comput Sci;H. Ehrig,1989
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献