Modeling and Verification of D-flip flop using PROMELA and SPIN.

Saved in:

Bibliographic Details
Title:	Modeling and Verification of D-flip flop using PROMELA and SPIN.
Authors:	MUFUTUMARI, NEPHAS¹, RUPERE, TAURAYI²
Source:	International Journal of Computing & ICT Research; Dec2013, Vol. 7 Issue 2, p48-53, 6p
Database:	Applied Science & Technology Source

Description
ISSN:	18181139