by Boudol, Gérard, Petri, Gustavo, Serpette, Bernard
Published in Electronic proceedings in theoretical computer science (12.08.2012)

by Rideau, Laurence, Serpette, Bernard Paul, Leroy, Xavier
Published in Journal of automated reasoning (01.05.2008)

by LIQUORI, LUIGI, SERPETTE, BERNARD PAUL
Published in Mathematical structures in computer science (01.06.2008)

by Volanschi, Nic, Serpette, Bernard
Published in Runtime Verification (2019)

by Cruz, Raimil, Rezk, Tamara, Serpette, Bernard, Tanter, Éric
Published in Dagstuhl Artifacts Series (20.06.2017)

by Caromel, Denis, Henrio, Ludovic, Serpette, Bernard Paul
Published in Information and computation (01.04.2009)

by Boudol, Gérard, Petri, Gustavo, Serpette, Bernard
Published in arXiv.org (14.08.2012)