User contributions
- 12:19, 14 November 2013 diff hist +3,113 N Publications/bensalem.12.topnoc Created page with "{{Publication | date = 2012-01-01 | authors = Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | title = Model Checking using Generalized Testing Automata | journal ..."
- 12:19, 14 November 2013 diff hist +2,992 N Publications/bensalem.11.sumo Created page with "{{Publication | date = 2011-05-25 | authors = Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | title = Generalized Büchi Automata versus Testing Automata for Mode..."
- 12:19, 14 November 2013 diff hist +2,326 N Publications/baillard.07.gretsi Created page with "{{Publication | date = 2007-05-11 | authors = Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski | title = Algorithme de..."
- 12:19, 14 November 2013 diff hist +3,774 N Publications/baillard.05.adass Created page with "{{Publication | date = 2006-09-20 | authors = Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, P..."
- 12:19, 14 November 2013 diff hist +3,735 N Publications/babiak.13.spin Created page with "{{Publication | date = 2013-04-28 | authors = Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček | title = Compositional Approach to Suspe..."
- 12:19, 14 November 2013 diff hist +2,771 N Publications/angelidis.01.wscg Created page with "{{Publication | date = 2001-02-01 | authors = Alexis Angelidis, Geoffroy Fouquier | title = Visualization issues in virtual environments: from computer graphics techniques to ..."
- 11:44, 14 November 2013 diff hist +28 Publications/xu.13.phd
- 11:43, 14 November 2013 diff hist +28 Publications/fabrizio.13.paa
- 18:33, 8 November 2013 diff hist +86 Publications/geraud.01.icip
- 16:46, 5 November 2013 diff hist +28 Publications/xue.03.icip
- 16:46, 5 November 2013 diff hist +28 Publications/xu.13.ismm
- 16:46, 5 November 2013 diff hist +28 Publications/xu.13.icip
- 16:46, 5 November 2013 diff hist +28 Publications/xu.12.icpr
- 16:46, 5 November 2013 diff hist +28 Publications/xu.12.icip
- 16:46, 5 November 2013 diff hist +28 Publications/verna.10.tug
- 16:46, 5 November 2013 diff hist +28 Publications/verna.09.ilc
- 16:46, 5 November 2013 diff hist +28 Publications/verna.09.accu
- 16:46, 5 November 2013 diff hist +28 Publications/verna.08.els
- 16:45, 5 November 2013 diff hist +28 Publications/verna.07.imecs
- 16:45, 5 November 2013 diff hist +28 Publications/verna.06.imecs
- 16:45, 5 November 2013 diff hist +28 Publications/verna.06.ecoop
- 16:45, 5 November 2013 diff hist +28 Publications/shum.13.taslp
- 16:45, 5 November 2013 diff hist +28 Publications/ricou.07.adass
- 16:45, 5 November 2013 diff hist +28 Publications/renault.13.tacas
- 16:45, 5 November 2013 diff hist +28 Publications/regisgianas.03.poosc
- 16:45, 5 November 2013 diff hist +28 Publications/perrot.06.nist
- 16:45, 5 November 2013 diff hist +28 Publications/najman.13.ismm
- 16:45, 5 November 2013 diff hist +28 Publications/maes.04.mpool
- 16:45, 5 November 2013 diff hist +28 Publications/maes.03.dpcool
- 16:45, 5 November 2013 diff hist +28 Publications/lombardy.03.ciaa
- 16:45, 5 November 2013 diff hist +28 Publications/levillain.12.wadgmm-lncs
- 16:45, 5 November 2013 diff hist +28 Publications/levillain.11.gretsi
- 16:45, 5 November 2013 diff hist +28 Publications/levillain.10.wadgmm
- 16:45, 5 November 2013 diff hist +28 Publications/levillain.10.icip
- 16:45, 5 November 2013 diff hist +28 Publications/levillain.09.ismm
- 16:45, 5 November 2013 diff hist +28 Publications/lesage.06.isvc
- 16:45, 5 November 2013 diff hist +28 Publications/lefebvre.04.tr
- 16:45, 5 November 2013 diff hist +28 Publications/le-quoc.08.ispec
- 16:45, 5 November 2013 diff hist +28 Publications/le-quoc.07.ntms
- 16:45, 5 November 2013 diff hist +28 Publications/lazzara.13.ijdar
- 16:45, 5 November 2013 diff hist +28 Publications/lazzara.11.icdar
- 16:45, 5 November 2013 diff hist +28 Publications/lassaigne.05.wollic
- 16:45, 5 November 2013 diff hist +28 Publications/laplante.07.tocl
- 16:45, 5 November 2013 diff hist +28 Publications/kenny.08.odyssey
- 16:45, 5 November 2013 diff hist +28 Publications/hemon.08.sagt
- 16:45, 5 November 2013 diff hist +28 Publications/hamez.08.atpn
- 16:45, 5 November 2013 diff hist +28 Publications/hamez.07.pohll
- 16:45, 5 November 2013 diff hist +28 Publications/guirado.05.pdmc
- 16:45, 5 November 2013 diff hist +28 Publications/geraud.13.ismm
- 16:45, 5 November 2013 diff hist +28 Publications/geraud.05.ismm