Why Systems of Temporal Logic Are Sometimes (Un)useful?

Krystian Jobczyk, Antoni Ligeza

Browse the full ICAISC paper archive.