@Inproceedings{EPTCS349.1,
  author    = {Garavel, Hubert and Lang, Fr\'ed\'eric and Mateescu, Radu and Serwe, Wendelin},
  year      = {2021},
  title     = {Is CADP an Applicable Formal Method?},
  editor    = {Gleirscher, Mario and Pol, Jaco van de and Woodcock, Jim},
  booktitle = {{\rm Proceedings First Workshop on}
               Applicable Formal Methods,
               {\rm virtual, 23rd November 2021}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {349},
  publisher = {Open Publishing Association},
  pages     = {1-11},
  doi       = {10.4204/EPTCS.349.1},
}