Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Browse the full DCAI paper archive.