@article{
  author = {عليزاده, بيژن, نوابی, زین العابدین},
  title = {يک مدل سطح بالا برای وارسی خواص CTL در طرح توصيف شده توسط VHDL ‌},
  journal = {فصلنامه مهندسی برق و مهندسی کامپيوتر ايران},
  year = {2003},
  volume = {1},
  number = {2},
  pages = {92-98},
  doi = {}
}