Citations refer to the original publication, not to a Scieee localized version.
Le Guernic, G., Combemale, B., & Galindo Duarte, J. Á. (2016). Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. Open Publishing Association. https://doi.org/10.4204/EPTCS.240.3
Le Guernic, Gurvan, et al. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. Open Publishing Association., 2016. https://doi.org/10.4204/EPTCS.240.3.
Le Guernic, Gurvan, Benoit Combemale, and José Ángel Galindo Duarte. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. Open Publishing Association., 2016. https://doi.org/10.4204/EPTCS.240.3.
Le Guernic, G., Combemale, B. and Galindo Duarte, J. Á. (2016) Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. Open Publishing Association. Available at: https://doi.org/10.4204/EPTCS.240.3.
G. Le Guernic, B. Combemale, and J. Á. Galindo Duarte, “Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework,” Open Publishing Association., 2016, doi: 10.4204/EPTCS.240.3.
@misc{leguernic2016industrial,
author = {Le Guernic, Gurvan and Combemale, Benoit and Galindo Duarte, José Ángel},
title = {Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework},
year = {2016},
publisher = {Open Publishing Association.},
doi = {10.4204/EPTCS.240.3},
url = {https://doi.org/10.4204/EPTCS.240.3}
}
The source metadata has no journal, volume or pages. Add them from the original publication if your citation needs them.
