Items where Author is "Ferrère, Thomas"

Group by: Item Type | No Grouping
Number of items: 1.

Papers in Conference Proceedings

Ferrère, Thomas and Henzinger, Thomas A. and Saraç, Naci Ege (2018) A theory of register monitors. In: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, England

This list was generated on Fri Mar 29 07:55:53 2024 +03.