Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking.

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Browse the full EPIA paper archive.