Unification Modulo Chaining

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2012
Type of Publication:	In Proceedings
Authors:	Anantharaman, Siva Bouchard, Christopher Narendran, Paliath Rusinowitch, Michaël

Book title:	Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
Pages:	70-82




@conference{AnantharamanBNR12, author = "Siva Anantharaman and Christopher Bouchard and Paliath Narendran and Micha{\"e}l Rusinowitch", booktitle = "Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coru{\~n}a, Spain, March 5-9, 2012. Proceedings", note = "partners: INRIA, SUNY Albany, U. Orleans; projects: Nessos"; TIER: C; citations:2", pages = "70-82", title = "{U}nification {M}odulo {C}haining", year = "2012", }
Note:	partners: INRIA, SUNY Albany, U. Orleans; projects: Nessos"; TIER: C; citations:2
[Bibtex]