Author of the publication

Products of Finite State Machines with Full Coverage.

, and . Theor. Comput. Sci., 154 (1): 57-65 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Performance modeling of video teleconferencing in ATM networks., and . IEEE Trans. Circuits Syst. Video Techn., 3 (6): 408-420 (1993)The AETG System: An Approach to Testing Based on Combinatiorial Design., , , and . IEEE Trans. Software Eng., 23 (7): 437-444 (1997)A Steady-State-Transition Model of Insulin Secretion.. University of Michigan, USA, (1981)The Combinatorial Design Approach to Automatic Test Generation., , , and . IEEE Software, 13 (5): 83-88 (1996)A direct algorithm for joint optimal sensor scheduling and MAP state estimation for hidden Markov models., , and . ICASSP, page 4212-4215. IEEE, (2013)Products of Finite State Machines with Full Coverage., and . ICALP, volume 700 of Lecture Notes in Computer Science, page 469-477. Springer, (1993)The IC model of parallel computation and programming environment., , , , , , and . Comput. Commun. Rev., 18 (3): 45-68 (1988)The IC system for protocol development., and . Comput. Commun. Rev., 17 (5): 228-233 (1987)Rapid Prototyping of Communications Protocol Using a New Parallel Language., , and . ICSI, page 196-204. IEEE Computer Society, (1990)An approach to simulation of multilevel production systems., and . AFIPS National Computer Conference, volume 46 of AFIPS Conference Proceedings, page 987-989. AFIPS Press, (1977)