The Work Temporal Logics in Computer Science The details The Author Valentin Goranko The offers View on Kindle View hardback on Amazon
