Duy-Tùng Nguyên

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên
Functional term rewriting systems towards symbolic model-checking. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)