From non-zenoness verification to termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pierre Ganty, Samir Genaim, Ratan Lal, Pavithra Prabhakar. From non-zenoness verification to termination. In 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015. pages 228-237, IEEE, 2015. [doi]

This author has not been identified. Look up 'Pierre Ganty' in GoogleThis author has not been identified. It may be one of the following persons:

Samir Genaim

Look up 'Samir Genaim' in GoogleThis author has not been identified. Look up 'Ratan Lal' in GoogleThis author has not been identified. Look up 'Pavithra Prabhakar' in Google

runs on WebDSL