[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - A Theory of Register Monitors
Ferrère, Thomas, Henzinger, Thomas A., Saraç, N. EgeYear:
2018
Language:
english
DOI:
10.1145/3209108.3209194
File:
PDF, 698 KB
english, 2018