Transformations for model checking distributed java programs
Published in Lecture notes in computer science • Jan 1, 2001
NobleIDNI3P95W61R11S47
Authors:,
Scott D. Stoller
Yanhong A. Liu
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!