Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints.

Laura Bozzelli, Rgis Gascon

Browse the full LPAR paper archive.