An efficient simulation algorithm on Kripke structures

From MaRDI portal
Publication:2453984

DOI10.1007/s00236-014-0195-9zbMath1301.68189arXiv1212.1089OpenAlexW2003029339MaRDI QIDQ2453984

Francesco Ranzato

Publication date: 12 June 2014

Published in: Acta Informatica, Mathematical Foundations of Computer Science 2013 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1212.1089



Related Items



Cites Work