Our paper Bounded Model Checking of Compositional Processes is presented at 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008).
Our paper Bounded Model Checking of Compositional Processes is presented at 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008).