Towards Expressive Specification and Efficient Model Checking.

Jin Song Dong, Jun Sun

Browse the full TASE paper archive.