Studies in Computational Intelligence: A Temporal Logic Approach

Penczek, Wojciech; Pólrola, Agata

Details

Published by: Springer

Publication Date: 2006-06-26

Format: Hardcover

ISBN-13: 9783540328698

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

Dimensions: 297cm x210cm

Pages: 257