[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
Preoteasa, Viorel, Tripakis, StavrosYear:
2016
DOI:
10.1145/2933575.2934503
File:
PDF, 347 KB
2016