Model Checking: A Coalgebraic Approach.

Jianhua Gao, Ying Jiang

Browse the full TASE paper archive.