Export 1 results:
Search results for biblio_year:2016
Filters: 1 is biblio_year:2003 and Author is D. T. Sannella [Reset Search]
Filters: 1 is biblio_year:2003 and Author is D. T. Sannella [Reset Search]
Semantic and Syntactic Approaches to Simulation Relations In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.
SE.5.Hannay.2003.c.pdf (277.15 KB)
SE.5.Hannay.2003.c.pdf (277.15 KB)