USING INTEGER PROGRAMMING TO VERIFY GENERAL SAFETY AND LIVENESS PROPERTIES
Publication Date
1995
Journal or Book Title
FORMAL METHODS IN SYSTEM DESIGN
Pages
97-123
Volume
6
Issue
1
Recommended Citation
CORBETT, JC and Avrunin, GS, "USING INTEGER PROGRAMMING TO VERIFY GENERAL SAFETY AND LIVENESS PROPERTIES" (1995). FORMAL METHODS IN SYSTEM DESIGN. 155.
Retrieved from https://scholarworks.umass.edu/math_faculty_pubs/155
COinS