Automatic verification of transition systems with unspecified components.

Mo Xia, Ming Jin, Guiming Luo

Browse the full ISCAS paper archive.