Verifying Concurrent Processes Using Temporal Logic

By clibrary on Mon, 06/23/2025 - 20:13
Author

Brent T. Hailpern

Publisher

Springer

Subject

Computer Science

Year

1982

Vol/Edition

129

ISBN

9783540390343

URL
http://dx.doi.org/10.1007/3-540-11205-7