Symbolic Model Checking-An Approach to The State Explosion Problem
収録刊行物
-
- PhD thesis, Department of Computer Science, Carnegie Mellon University
-
PhD thesis, Department of Computer Science, Carnegie Mellon University