A deductive approach towards reasoning about algebraic transition systems

From MaRDI portal
Publication:1666122

DOI10.1155/2015/607013zbMath1394.68248OpenAlexW2130420956WikidataQ59119538 ScholiaQ59119538MaRDI QIDQ1666122

Hongyan Tan, Jun Fu, Jinzhao Wu

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/607013





Uses Software


Cites Work


This page was built for publication: A deductive approach towards reasoning about algebraic transition systems