Temporal Logic of Programs /

Autor Kröger, Fred, 1945-
Vydáno 1987

Temporal logic and state systems /

Autor Kröger, Fred, 1945-, Merz, Stephan, 1963-
Vydáno 2008