Logics in Computer Science
Subtitle: A Study on Extensions of Temporal and Strategic Logics
Publisher: Atlantis Press (Zeger Karssen)
Published: 2015
Language: eng
ISBN-13: 9789462390560