Generating Exact Approximations to Model Check Concurrent Systems.

Saved in:

Bibliographic Details
Title:	Generating Exact Approximations to Model Check Concurrent Systems.
Authors:	Bourahla, Mustapha¹
Source:	International Arab Journal of Information Technology (IAJIT); Oct2008, Vol. 5 Issue 4, p137-145, 9p, 7 Diagrams
Database:	Applied Science & Technology Source

Be the first to leave a comment!