Cited By
View all- Regis GDegiovanni RD'Ippolito NAguirre NBertolino ACanfora GElbaum S(2015)Specifying event-based systems with a counting fluent temporal logicProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818843(733-743)Online publication date: 16-May-2015
- Regis GDegiovanni RD'Ippolito NAguirre N(2015)Specifying Event-Based Systems with a Counting Fluent Temporal Logic2015 IEEE/ACM 37th IEEE International Conference on Software Engineering10.1109/ICSE.2015.86(733-743)Online publication date: May-2015
- Woźna-Szcześniak BZbrzezny A(2014)Checking MTL Properties of Discrete Timed Automata via Bounded Model CheckingFundamenta Informaticae10.5555/2692080.2692095135:4(553-568)Online publication date: 1-Oct-2014
- Show More Cited By