From non-zenoness verification to termination

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

ISBN: 9781509002375

Datum der Publikation: 2015

Seiten: 228-237

Art: Konferenz-Beitrag

DOI: 10.1109/MEMCOD.2015.7340490 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Datenquelle: Scopus