Advances in Temporal Logic
Publisher: Springer; Barringer Howard Fisher Michael Gabbay Dov M
Published: Dec 07, 2010
Format: paperback
Number of pages: 468
ISBN-13: 9789048153893
Notes: Source title: Advances in Temporal Logic (Applied Logic Series)