Stéphane Demri, Régis Gascon. The Effects of Bounding Syntactic Resources on Presburger LTL. In 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 28-30 June 2007, Alicante, Spain. pages 94-104, IEEE Computer Society, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.