Automata-based Verification of Linear Temporal Logic Models with Bounded Variability.

Carlo A. Furia, Paola Spoletini

Browse the full TIME paper archive.