@misc{indiciaea96dbbe53507,
  title = {Parameterized Model Checking Modulo Explicit Weak Memory Models},
  author = {Sylvain Conchon and David Declerck and Fatiha Zaïdi},
  year = {2018},
  doi = {10.4204/eptcs.271.4},
  url = {https://arxiv.org/abs/1805.05515},
  note = {Source identifier: 1805.05515}
}