[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Categorical liveness checking by corecursive algebras
Urabe, Natsuki, Hara, Masaki, Hasuo, IchiroYear:
2017
Language:
english
DOI:
10.1109/lics.2017.8005151
File:
PDF, 485 KB
english, 2017