From non-zenoness verification to termination

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

ISBN: 9781509002375

Año de publicación: 2015

Páginas: 228-237

Tipo: Aportación congreso

DOI: 10.1109/MEMCOD.2015.7340490 GOOGLE SCHOLAR
Fuente de los datos: Scopus