Export 1 results:
Search results for biblio_type:PhD Thesis
Filters: 1 is biblio_year:1998 and 2 is biblio_year:2007 and 3 is biblio_year:1991 and 4 is 5009 and 5 is biblio_type:Proceedings, refereed and 6 is field_research_area:6 and 7 is biblio_year:2003 and Author is D. T. Sannella  [Reset Search]
J. E. Hannay, S. -. Y. Katsumata and D. T. Sannella. 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.PDF icon SE.5.Hannay.2003.c.pdf (277.15 KB)