@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},
  issue = {2},
  pages = {92-98},
  doi = {},
  url = {https://rimag.ir/fa/Article/27822}
}