Search
Toggle theme
Menu
Back
Home
Publications
Model Checking
Public
More options
Model Checking
Published • Jan 1, 1993
NobleID
ark:/48914/w1/20260525/C3C48EC8
Copy
Record on NobleID
Authors:
Kenneth L. McMillan
Download PDF
Share
Summary
Sum
PDF
Figures
Figs
Subject
The Imaginary
Statement (logic)
Predicate (mathematical logic)
Finding related papers...
Discussions
(0)
Add Comment
No comments yet
Be the first to share your thoughts!
