From non-zenoness verification to termination

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

ISBN: 9781509002375

Year of publication: 2015

Pages: 228-237

Type: Conference paper

DOI: 10.1109/MEMCOD.2015.7340490 GOOGLE SCHOLAR
Data source: Scopus