Statistics
Publications
1
Citations
17
H-Index
1
Active since
2000
Affiliations
University of Michigan(Current)
Morrison R. Lucas is an author at University of Michigan specializing in deductive verification, finite state machine modeling, and functional verification.
Publications per year
2000–2000
1
1