title   
  

Items where Author is "Ferrère, Thomas"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

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 Sat Apr 27 00:34:46 2024 +03.