Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:71 - 2 self