Dov M. Gabbay, Hans J. Ohlbach

Temporal Logic - 1994 - Springer Berlin Heidelberg 1994 - Lecture Notes in Computer Science .

9783540485858


Computer Science