The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna(Weizmann Institute of Science), Amir Pnueli(Weizmann Institute of Science)

Unknown

January 1, 1992

10.1007/978-1-4612-0931-7

Cited by 2,966

Abstract

Related Papers

No related papers found

Powered by citation graph analysis