K. S. Namjoshi. Ameliorating the State Space Explosion Problem. PhD thesis, University of Texas at Austin, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Intelligent Methods for Embedded Systems - Elmenreich (2003) (Correct)
No context found.
K. S. Namjoshi. Ameliorating the State Space Explosion Problem. PhD thesis, University of Texas at Austin, 1998.
Intelligent Methods for Embedded Systems - Elmenreich (Correct)
No context found.
K. S. Namjoshi. Ameliorating the State Space Explosion Problem. PhD thesis, University of Texas at Austin, 1998.
A Counter Example Guided Abstraction Refinement Framework for.. - Chaki (2002) (Correct)
No context found.
Kedar Sharad Namjoshi. Ameliorating the State Space Explosion Problem. PhD thesis, UT Austin, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC