Research Article

An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”

• @ARTICLE{10.4108/casa.1.2.e6,
      author={Phan Cong Vinh},
      title={An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”},
      journal={EAI Endorsed Transactions on Context-aware Systems and Applications},
      volume={1},
      number={2},
      publisher={ICST},
      journal_a={CASA},
      year={2014},
      month={12},
      keywords={},
      doi={10.4108/casa.1.2.e6}
  }
  

• Phan Cong Vinh
  Year: 2014
  An Introduction to the Book Titled “Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification”
  CASA
  ICST
  DOI: 10.4108/casa.1.2.e6