Books listed by ISBN
>
Springer
> Fred Kroger
Fred Kroger
F K
·
F. Kroger
·
Fred K.
·
Fred Kröger
title
ISBN-13
(ISBN-10)
year of publication
Temporal Logic and State Systems
978-3-642-08680-9
(3-642-08680-2)
2010
Temporal Logic of Programs
978-0-387-17030-5
(0-387-17030-8)
1987
Fred Krüger