20 citations · 41 across the 31 of their papers we have counts for
1 paper · 2 filters
Richard Mayr, Patrick Totzke
We consider the model checking problem for Gap-order Constraint Systems (GCS) w.r.t. the branching-time temporal logic CTL, and in particular its fragments EG and EF. GCS are nonde…