From non-zenoness verification to termination

  1. Ganty, P.
  2. Genaim, S.
  3. Lal, R.
  4. Prabhakar, P.
Actes:
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015

ISBN: 9781509002375

Any de publicació: 2015

Pàgines: 228-237

Tipus: Aportació congrés

DOI: 10.1109/MEMCOD.2015.7340490 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Font de les dades: Scopus