Z. Kohavi. Switching and Finite Automata Theory. McGraw Hill, 1978. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Theorems for Efficient Identification of.. - Amyeen, Pomeranz, Fuchs (Correct)
Validation And Termination Detection Of - Communication Protocols By (Correct)
Hardware-Software Covalidation: Fault Models and Test Generation - Harris (Correct)
Improved Algorithms for Theory Revision with Queries - Exte Nd Ed (2000) (Correct)
Formal Specification and Conformance Testing of Army.. - Amer, Fecko, Sethi.. (2001) (Correct)
The Forbidden Projections of Unate Functions - Aaron Feigelson Lisa (1997) (Correct)
Automatic Detection and Diagnosis of Faults in Generated.. - Bailey, Davidson (2001) (Correct)
A Formal Approach to Development of Network Protocols: Theory.. - Uyar, Fecko (2001) (Correct)
Online Performance-Improvement - Prasad Chalasani August (Correct)
Blister: GPU-based rendering of Boolean - Combinations Of Free-Form (Correct)
Fuzzifying the Thoughts of Animats - Bajec (2003) (Correct)
Efficient Compilation of Process-Based Concurrent Programs .. - Run-Time Scheduling Bill (Correct)
Data and Memory Optimization Techniques for Embedded.. - Panda, Catthoor, Dutt, .. (2001) (14 citations) (Correct)
Further Error Event Diagram Reduction Using - Algorithmic Techniques Jun (2003) (Correct)
Finite-State Dimension - Dai, Lathrop, Lutz, Mayordomo (2001) (1 citation) (Correct)
Effective Hausdorff Dimension - Mayordomo (2000) (Correct)
Optimum Test Sequence Generation from Estelle Specifications - Fecko, Uyar, Amer, Sethi (Correct)
Centrum voor Wiskunde en Informatica - Software Engineering The (Correct)
Complete Behavioural Testing - Two Extensions To (Correct)
A Methodology for Hardware Verification Based on Logic Simulation - Bryant (1991) (18 citations) (Correct)
Autonomous Observation - Tarek Sobh Uucs- (1992) (Correct)
CSDL: Reusable Computing System Descriptions for Retargetable.. - Bailey (Correct)
Testing Timed Automata - Springintveld, Vaandrager, D'Argenio (1997) (14 citations) (Correct)
Energy Aware Computing Through Probabilistic Switching: A Study of .. - Palem (Correct)
The Power of a Pebble: Exploring and Mapping Directed.. - Bender.. (1998) (21 citations) (Correct)
First 50 documents Next 50
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