G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M.S. Reorda, "The General Product Machine: a New Model for Symbolic FSM Traversal," Formal Methods in System Design, vol. 12, pp. 267-289, 1998. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Confirming Configurations in EFSM Testing - Petrenko, Boroday, Groz (2004) (Correct)
No context found.
G. Cabodi, P. Camurati, F. Corno, P. Prinetto, and M.S. Reorda, "The General Product Machine: a New Model for Symbolic FSM Traversal," Formal Methods in System Design, vol. 12, pp. 267-289, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC