Travelled to:
1 × USA
Collaborated with:
D.M.Atiya
Talks about:
complianc (1) concurr (1) verifi (1) system (1) notat (1)
Person: S. King
DBLP: King:S=
Contributed to:
Wrote 1 papers:
- ICSE-2002-AtiyaK #concurrent #verification
- A compliance notation for verifying concurrent systems (DMA, SK), pp. 731–732.