A PROOF LATTICE-BASED TECHNIQUE FOR ANALYZING LIVENESS OF RESOURCE CONTROLLERS

Authors

U BUY
R Moll

Publication Date

1991

Journal or Book Title

LECTURE NOTES IN COMPUTER SCIENCE

Pages

292-301

Volume

531

Recommended Citation

BUY, U and Moll, R, "A PROOF LATTICE-BASED TECHNIQUE FOR ANALYZING LIVENESS OF RESOURCE CONTROLLERS" (1991). LECTURE NOTES IN COMPUTER SCIENCE. 923.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/923