Where Was Simplicius?
- 期刊名称The Journal of Hellenic Studies
- 作者Paul Foulkes
- 卷第112卷
- 印刷ISSN0075-4269
- 文件大小108.52KB
- 发表时间1992
- DOI10.2307/632157
同作者推荐
Formal specification and analysis of functional properties of graph rewriting-based model transformationAsztalos, Márk; Lengyel, László; Levendovszky, Tihamér · Software Testing, Verification and Reliability · 2013
[ACM Press the 6th International Workshop - Denver, Colorado (2009.10.05-2009.10.05)] Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '09 - A formalism for describing modeling transformations for verificationAsztalos, Márk; Lengyel, László; Levendovszky, Tihamér · 2009