On the Expressive Power of Some Extensions of Linear Temporal Logic

JOURNAL ARTICLE published 28 October 2018 in Modeling and Analysis of Information Systems

Authors: Anton Gnatenko | Vladimir Zakharov