The Effects of Bounding Syntactic Resources on Presburger LTL.

Stéphane Demri Régis Gascon

Published in: J. Log. Comput. (2009)

Keyphrases

resource allocation
limited resources
model checking
temporal logic
upper bound
resource management
web resources
website
digital libraries
state space
resource constraints