BibTeX record conf/rcis/AlegriaV10

• > Home > conf/rcis/AlegriaV10

@inproceedings{DBLP:conf/rcis/AlegriaV10,
  author       = {Ant{\'{o}}nio Alegria and
                  Andr{\'{e}} Vasconcelos},
  editor       = {Pericles Loucopoulos and
                  Jean{-}Louis Cavarero},
  title        = {{IT} Architecture Automatic Verification: {A} Network Evidence-based
                  Approach},
  booktitle    = {Proceedings of the Fourth {IEEE} International Conference on Research
                  Challenges in Information Science, {RCIS} 2010, Nice, France, May
                  19-21, 2010},
  pages        = {1--12},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/RCIS.2010.5507358},
  doi          = {10.1109/RCIS.2010.5507358},
  timestamp    = {Tue, 01 Feb 2022 09:09:08 +0100},
  biburl       = {https://dblp.org/rec/conf/rcis/AlegriaV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}