Selected publications at LSV

   address = {Bar-Ilan, Israel},
   author = {Chatain, {\relax Th}omas and Comlan, Maurice and Delfieu, David and Jezequel, Lo{\"i}g and Roux, Olivier H.},
   booktitle = {{P}roceedings of the 12th {I}nternational {C}onference on {L}anguage and {A}utomata {T}heory and {A}pplications ({LATA}'18)},
   editor = {Mart{\'\i}n-Vide, Carlos},
   month = apr,
   note = {to appear},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Pomsets and Unfolding of Reset Petri Nets},
   year = {2018},

About LSV

Select by Year