%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 }