Bernard Boigelot

发表

Benoît Mercatoris, Bernard Boigelot, Sruthi Moorthy Krishna Moorthy Parvathi, 2014 .
Bernard Boigelot, Bernard Boigelot, 2003, Theor. Comput. Sci..
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997 .
Damien Ernst, Bernard Boigelot, Raphaël Fonteneau, 2012, SIAM J. Control. Optim..
Frédéric Herbreteau, Bernard Boigelot, 2006, CAV.
Pierre Wolper, Axel Legay, Bernard Boigelot, 2004, TACAS.
Pierre Wolper, Patrice Godefroid, Bernard Boigelot, 1997, SAS.
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2001, IJCAR.
Bernard Boigelot, Louis Latour, Bernard Boigelot, 2001, Theor. Comput. Sci..
Bernard Boigelot, Julien Brusten, 2007, ICALP.
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1996, FME.
Pierre Wolper, Bernard Boigelot, Stéphane Rassart, 1998, ICALP.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1994, CAV.
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1999, Formal Methods Syst. Des..
Véronique Bruyère, Bernard Boigelot, Julien Brusten, 2008, ICALP.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 2000, TACAS.
Bernard Boigelot, Julien Brusten, 2009, Theor. Comput. Sci..
Bernard Boigelot, Jean-François Degbomont, Julien Brusten, 2010, INFINITY.
Véronique Bruyère, Bernard Boigelot, Julien Brusten, 2008, ICALP.
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2003, ArXiv.
Damien Ernst, Bernard Boigelot, Raphaël Fonteneau, 2014, 53rd IEEE Conference on Decision and Control.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 2002, ICLP.
Sébastien Jodogne, Frédéric Herbreteau, Bernard Boigelot, 2003, CAV.
Patrice Godefroid, Bernard Boigelot, Bernard Boigelot, 1997, TACAS.
Pierre Wolper, Axel Legay, Bernard Boigelot, 2003 .
Pierre Wolper, Axel Legay, Bernard Boigelot, 2003, CAV.
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1995, SAS.
Frédéric Herbreteau, Bernard Boigelot, Isabelle Mainz, 2014, ATVA.
Bernard Boigelot, Jérôme Leroux, Julien Brusten, 2009, CADE.
Bernard Boigelot, Jean-François Degbomont, Julien Brusten, 2012, LATA.
Pierre Wolper, Sébastien Jodogne, Bernard Boigelot, 2005, TOCL.
Bernard Boigelot, Isabelle Mainz, Bernard Boigelot, 2018, ATVA.
Bernard Boigelot, Stéphane Lens, Bernard Boigelot, 2014 .
Pierre Wolper, Bernard Boigelot, Bernard Boigelot, 1998, CAV.
Benoît Mercatoris, Bernard Boigelot, Sruthi Moorthy Krishna Moorthy Parvathi, 2014 .
Frédéric Herbreteau, Bernard Boigelot, 2006 .
Bernard Boigelot, Bernard Boigelot, 2012, International Journal on Software Tools for Technology Transfer.
Bernard Boigelot, 2021 .
Benoît Mercatoris, Bernard Boigelot, Sruthi Moorthy Krishna Moorthy Parvathi, 2015 .