Temporal logic: mathematical foundations and computational aspects.Vol.2
Title:
Temporal logic: mathematical foundations and computational aspects.Vol.2
Author:
Gabbay, Dov M.
ISBN:
9780198537687
Personal Author:
Publication Information:
Oxford: Clarendon press, c2000
Physical Description:
xiii, 597 p.: ill.
General Note:
Includes bibliographical references and index.