Travelled to:1 × Denmark
Collaborated with:∅
Talks about:infinit (1) complet (1) system (1) subset (1) state (1) space (1) proof (1) modal (1) tame (1) sccs (1)
Person: Colin Sterling
DBLP: Sterling:Colin
Contributed to:
1991
1985Wrote 2 papers:
- CAV-1991-Sterling #infinity
- Taming Infinite State Spaces (CS), p. 1.
- CAAP-1985-Sterling #proving #set
- A Complete Modal Proof System for a Subset of SCCS (CS), pp. 253–266.