R. M. Hierons and M. Harman. Testing comformance to a quasi-nondeterminstic stream X-machine. Formal Aspects of Computing, 12:423-442, 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Testing Conformance of a Deterministic - Implementation Against.. Self-citation (Hierons Harman) (Correct)
No context found.
R. M. Hierons and M. Harman. Testing comformance to a quasi-nondeterminstic stream X-machine. Formal Aspects of Computing, 12:423-442, 2000.
Testing Conformance of a Deterministic Implementation against .. - Hierons, Harman (2001) (2 citations) Self-citation (Hierons Harman) (Correct)
No context found.
R. M. Hierons and M. Harman. Testing comformance to a quasi-nondeterminstic stream X-machine. Formal Aspects of Computing, 12:423-442, 2000.
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