Selected publications at LSV

@article{BHSS-fi18,
   author = {B{\'e}atrice B{\'e}rard and Stefan Haar and Sylvain Schmitz and Stefan Schwoon},
   journal = {Fundamenta Informaticae},
   note = {To appear},
   publisher = {{IOS} Press},
   title = {{The Complexity of Diagnosability and Opacity Verification for Petri Nets}},
   year = {2018},
}

About LSV