5,839 followers
#OA article frm Studia Logica!Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking https://t.co/R9uxXCsvdn
#OA article frm Studia Logica!Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking https://t.co/R9uxXCsvdn