Login
中文
Kenneth L Mcmillan
HIndex: 38
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Temporal logic
Computability
Integrated circuit
Mathematical analysis
Logic
Engineering
Boolean satisfiability problem
Binary decision diagram
State space
Computer hardware
Communications protocol
Logic gate
Theory of computation
Satisfiability
Finite model theory
Electronic design automation
Verification
Computer network
Formal methods
Functional verification
Model checking
Data structure
Formal verification
Model of computation
Boolean function
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Temporal logic
Computability
Integrated circuit
Mathematical analysis
Logic
Engineering
Boolean satisfiability problem
Binary decision diagram
State space
Computer hardware
Communications protocol
Logic gate
Theory of computation
Satisfiability
Finite model theory
Electronic design automation
Verification
Computer network
Formal methods
Functional verification
Model checking
Data structure
Formal verification
Model of computation
Boolean function
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Kenneth L Mcmillan
University Of California San Diego
131
Kenneth L Mcmillan
Candela Corp
1
×
Share to your followers
Submit