Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:69 - 2 self