Travelled to:
1 × India
Collaborated with:
Y.Yu B.Nuseibeh
Talks about:
specifi (1) problem (1) monitor (1) context (1) switch (1)
Person: Mohammed Salifu
DBLP: Salifu:Mohammed
Contributed to:
Wrote 1 papers:
- RE-2007-SalifuYN #monitoring #problem #specification
- Specifying Monitoring and Switching Problems in Context (MS, YY, BN), pp. 211–220.