@misc{indiciaef887535b5aa7,
  title = {Is CADP an Applicable Formal Method?},
  author = {Hubert Garavel and Frédéric Lang and Radu Mateescu and Wendelin Serwe},
  year = {2021},
  doi = {10.4204/eptcs.349.1},
  url = {https://arxiv.org/abs/2111.08203},
  note = {Source identifier: 2111.08203}
}