From non-zenoness verification to termination
- Ganty, P.
- Genaim, S.
- Lal, R.
- Prabhakar, P.
Actes de conférence:
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015
ISBN: 9781509002375
Année de publication: 2015
Pages: 228-237
Type: Communication dans un congrès