Selected publications at LSV

@article{BFM-ic17,
   author = {Blondin, Michael and Finkel, Alain and McKenzie, Pierre},
   journal = {Information and Computation},
   note = {To appear},
   publisher = {Elsevier Science Publishers},
   title = {Handling Infinitely Branching Well-structured Transition Systems},
   year = {2017},
}

About LSV

Select by Year