Modal and temporal properties of processes
Stirling, Colin
Modal and temporal properties of processes - 1st - New York Springer-Verlag 2001 - xii,190p p.
0-387-98717-7
Computer logic
Modal and temporal properties of processes - 1st - New York Springer-Verlag 2001 - xii,190p p.
0-387-98717-7
Computer logic