Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:90 - 2 self