@article{
  author = {Alizadeh, B., Navabi, Z.},
  title = {A New High Level Model to Check CTL Properties in VHDL Environment},
  journal = {Nashriyyah -i Muhandisi -i Barq va Muhandisi -i Kampyutar -i Iran},
  year = {2003},
  volume = {1},
  number = {2},
  pages = {92-98},
  doi = {}
}