Publications of Valerie Murat

Load the BibTeX file

International Conferences

1. Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat. Tree Regular Model Checking for Lattice-Based Automata. In CIAA - 18th International Conference on Implementation and Application of Automata, LNCS, Volume 7982, Halifax, Canada, 2013. download
2. Yohan Boichut, Thi-Bich-Hanh Dao, Valérie Murat. Characterizing Conclusive Approximations by Logical Formulae. In Reachability Problems 2011, Giorgio Delzanno, Igor Potapov (eds.), Volume LNCS 6945, Gênes, Italy, 2011. download

Research Reports

1. Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat. Tree Regular Model Checking for Lattice-Based Automata. Technical Report INRIA, No 0, April 2012. download