Visible to the public Biblio

Filters: Author is Cumhur Erkan Tuncali  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
U
T
M
F
E
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos.  2016.  An efficient algorithm for monitoring practical TPTL specifications. 14th ACM-IEEE International Conference on Formal Methods and Models for System Design. :184-193.
A