Modeling and Formal Verification of IMPP

Sohel Khan, Abdul Waheed. Modeling and Formal Verification of IMPP. Int. Arab J. Inf. Technol., 2(3):192-298, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.