Deterministic CTL Query Solving.

Marko Samer, Helmut Veith

Browse the full TIME paper archive.