Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

Browse the full SEKE paper archive.