Studies in Computational Intelligence: A Temporal Logic Approach

Penczek, Wojciech; Pólrola, Agata

Details

Published by: Springer

Publication Date: 2010-11-25

Format: Paperback

ISBN-13: 9783642069420

DOI: 10.1007/978-3-540-32870-4

Dimensions: 235cm x155cm

Pages: 257