@article{BE24,
  author    = {Michael Blondin and Javier Esparza},
  title     = {Separators in Continuous Petri Nets},
  journal   = {Logical Methods in Computer Science ({LMCS})},
  volume    = {20},
  number    = {1},
  year      = {2024},
  doi       = {10.46298/lmcs-20(1:15)2024}
}