, ,
Elsevier
Electronic Notes in Theoretical Computer Science
International Workshop on Coalgebraic Methods in Computer Science

Baltag, A. (2000). A logic for coalgebraic simulation. In Electronic Notes in Theoretical Computer Science (pp. 1–19). Elsevier.