Completeness of fair ASM refinement

From MaRDI portal
Publication:541210

DOI10.1016/j.scico.2009.10.004zbMath1217.68065OpenAlexW2005957990MaRDI QIDQ541210

Gerhard Schellhorn

Publication date: 6 June 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.10.004




Related Items (2)


Uses Software


Cites Work


This page was built for publication: Completeness of fair ASM refinement