Geodesic
P4Query: Static analyser framework for P4
Annales mathematicae et informaticae, Tome 57 (2023), pp. 49-64.

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@article{AMI_2023_57_a3,
     author = {D\'aniel Luk\'acs and Gabriella T\'oth and M\'at\'e Tejfel},
     title = {P4Query: {Static} analyser framework for {P4}},
     journal = {Annales mathematicae et informaticae},
     pages = {49--64},
     publisher = {mathdoc},
     volume = {57},
     year = {2023},
     doi = {10.33039/ami.2023.03.002},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/}
}
TY  - JOUR
AU  - Dániel Lukács
AU  - Gabriella Tóth
AU  - Máté Tejfel
TI  - P4Query: Static analyser framework for P4
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 49
EP  - 64
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/
DO  - 10.33039/ami.2023.03.002
LA  - en
ID  - AMI_2023_57_a3
ER  - 
%0 Journal Article
%A Dániel Lukács
%A Gabriella Tóth
%A Máté Tejfel
%T P4Query: Static analyser framework for P4
%J Annales mathematicae et informaticae
%D 2023
%P 49-64
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/
%R 10.33039/ami.2023.03.002
%G en
%F AMI_2023_57_a3
Dániel Lukács; Gabriella Tóth; Máté Tejfel. P4Query: Static analyser framework for P4. Annales mathematicae et informaticae, Tome 57 (2023), pp. 49-64. doi : 10.33039/ami.2023.03.002. http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.03.002/

Cité par Sources :