Cite

HARVARD Citation

    Shehtman, V. (2016). Bisimulation games and locally tabular logics. Russian mathematical surveys. pp. 979-981. [Online]. 
  
Back to record