Detection and Verification of Semantic Interaction In AOSD

Zaid Altahat, Tzilla Elrad. Detection and Verification of Semantic Interaction In AOSD. In Shahram Latifi, editor, Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27-29 April 2009. pages 807-812, IEEE Computer Society, 2009. [doi]

@inproceedings{AltahatE09,
  title = {Detection and Verification of Semantic Interaction In AOSD},
  author = {Zaid Altahat and Tzilla Elrad},
  year = {2009},
  doi = {10.1109/ITNG.2009.43},
  url = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2009.43},
  researchr = {https://researchr.org/publication/AltahatE09},
  cites = {0},
  citedby = {0},
  pages = {807-812},
  booktitle = {Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, 27-29 April 2009},
  editor = {Shahram Latifi},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3596-8},
}