PROTEF: Automatic Verification of Pattern-Based LTL Templates.

Luis Garca, Steve Roach, Salamah Salamah

Browse the full SEKE paper archive.