Publication


A. Brzozowska, J. Greblicki, and J. Kotowski : State encoding and minimization methodology for self-checking sequential machines, Computer Aided Systems Theory--EUROCAST 2011, Springer, 2012, pp. 551-558

Reference


@INCOLLECTION{brzozowska2012state,
  author = {Agata Brzozowska and Jerzy Greblicki and Jerzy Kotowski},
  title = {{State encoding and minimization methodology for self-checking sequential machines}},
  booktitle = {{Computer Aided Systems Theory--EUROCAST 2011}},
  publisher = {{Springer}},
  year = {2012},
  pages = {551-558}
}
Download BibTeX