Title

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

This document is currently not available here.

Share

COinS