Skip to main content
MyCSE
Internal
Calendar
Directory
Helpful Links
Computing
CSE Course List
Time/Teaching Schedules
Academic Calendars
UW Homepage
About Us
Contact Us
Quick Links
News & Events
People
Academics
Research & Innovation
Outreach
Support #UWAllen
Apply!
Menu
Home
News & Events
People
Academics
Research & Innovation
Outreach
Support #UWAllen
Apply!
Model Checking Large Software Specifications
Title
Model Checking Large Software Specifications
Publication Type
Miscellaneous
Year of Publication
1996
Authors
Anderson RJ, Beame P., Burns S, Chan W, Modugno F, Notkin D, Reese JD
Date or Month Published
April
Citation Key
abbcmnr:fse-tr
Google Scholar