Proving mutual termination

Overview of attention for article published in Formal Methods in System Design, June 2015

Altmetric Badge

Mentioned by

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

Proving mutual termination. - Dima Elenbogen, Shmuel Katz, Ofer Strichman http://t.co/HZGgO2eBkn

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity.