Verifying concurrent processes using temporal logic
Hailpern, Brent T.
Verifying concurrent processes using temporal logic by Brent T. Hailpern - Berlin Springer-Verlag 1982 - viii, 208p. - Lecture notes in computer science V.129 .
3540112057
001.642 / N8212
Verifying concurrent processes using temporal logic by Brent T. Hailpern - Berlin Springer-Verlag 1982 - viii, 208p. - Lecture notes in computer science V.129 .
3540112057
001.642 / N8212