Bounded Model Checking of Compositional Processes.

Jun Sun, Yang Liu, Jin Song Dong, Jing Sun

Browse the full TASE paper archive.