Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking

Overview of attention for article published in Studia Logica, October 2015

Altmetric Badge

Mentioned by

twitter: 1 X user

facebook: 1 Facebook page

Readers on

mendeley: 10 Mendeley

Summary X Facebook

So far, Altmetric has seen 1 X post from an account with 5,839 followers.

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

Reply Repost Favourite