Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/icete/RoigAGJ18
%A Roig, Pedro Juan
%A Alcaraz, Salvador
%A Gilly, Katja
%A Juiz, Carlos
%B ICETE (1)
%D 2018
%E Callegari, Christian
%E van Sinderen, Marten
%E Novais, Paulo
%E Sarigiannidis, Panagiotis G.
%E Battiato, Sebastiano
%E de León, Ángel Serrano Sánchez
%E Lorenz, Pascal
%E Obaidat, Mohammad S.
%I SciTePress
%K dblp
%P 221-232
%T OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.
%U http://dblp.uni-trier.de/db/conf/icete/icete2018-1.html#RoigAGJ18
%@ 978-989-758-319-3
@inproceedings{conf/icete/RoigAGJ18,
added-at = {2018-08-29T00:00:00.000+0200},
author = {Roig, Pedro Juan and Alcaraz, Salvador and Gilly, Katja and Juiz, Carlos},
biburl = {https://www.bibsonomy.org/bibtex/2f6bcccf3288c8a52bfb6e661c125eba9/dblp},
booktitle = {ICETE (1)},
crossref = {conf/icete/2018-1},
editor = {Callegari, Christian and van Sinderen, Marten and Novais, Paulo and Sarigiannidis, Panagiotis G. and Battiato, Sebastiano and de León, Ángel Serrano Sánchez and Lorenz, Pascal and Obaidat, Mohammad S.},
ee = {https://doi.org/10.5220/0006838702210232},
interhash = {6a35e0255b99c0c0d3493f606789c48f},
intrahash = {f6bcccf3288c8a52bfb6e661c125eba9},
isbn = {978-989-758-319-3},
keywords = {dblp},
pages = {221-232},
publisher = {SciTePress},
timestamp = {2018-08-30T11:38:49.000+0200},
title = {OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.},
url = {http://dblp.uni-trier.de/db/conf/icete/icete2018-1.html#RoigAGJ18},
year = 2018
}