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

Citations

dimensions_citation: 8 Dimensions

Readers on

mendeley: 10 Mendeley

Summary X Facebook Dimensions citations

So far, Altmetric has seen 1 public wall post.

Springer Philosophy, 27 Aug 2016

#OA article frm Studia Logica! Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking http://ow.ly/WUV…