Modeling and Verification of D-flip flop using PROMELA and SPIN.
Saved in:
| Title: | Modeling and Verification of D-flip flop using PROMELA and SPIN. |
|---|---|
| Authors: | MUFUTUMARI, NEPHAS1, RUPERE, TAURAYI2 |
| Source: | International Journal of Computing & ICT Research; Dec2013, Vol. 7 Issue 2, p48-53, 6p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
