Vector Addition System Reversible Reachability Problem Dahkki Jérôme Leroux

Viečča ollesdeavstta

Model Checking Vector Addition Systems with one zero-test Dahkki Rémi Bonnet, Alain FInkel, Jérôme Leroux, Marc Zeitoun

Viečča ollesdeavstta

Reachability Analysis of Communicating Pushdown Systems Dahkki Alexander Heussner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre

Viečča ollesdeavstta

De Pléiades à Pléiades Neo : Enjeux et opportunités. L'éxperience d'un producteur de données Dahkki Nahossio Gonga, Sophie DELPIERRE, Maxime Chauvin, Camille Lhenry, yann DESMARAIS, Jérôme Leroux, Jules Roger, Baptiste Benard, Philippe ALBERT, Ivan Pristchepa

Viečča ollesdeavstta