Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.
Paper in Conference Proceedings
|PP334||1993 Paper in Conference Proceedings||Chung,P; Abbas,S; Robertson,DS|
|Representing Design Information and Safety Constraints|
|PP13||1991 Paper in Conference Proceedings||Correa da Silva,FS; Robertson,DS; Chung,P|
|Automated Reasoning about an Uncertain Domain|