Divya Prasad

	2003
3		Divya Prasad, Alan Burns, Martin C. Atkins: The Valid Use of Utility in Adaptive Real-Time Systems. Real-Time Systems 25(2-3): 277-296 (2003)
	1996
2		Mark Nicholson, Divya Prasad: Design Synthesis Using Adaptive Search Techniques and Multi-Criteria Decision Analysis. ICECCS 1996: 522-
	1991
1		Dave Neilson, Divya Prasad: zedB: A Proof Tool for Z Built on B. Z User Workshop 1991: 243-258

Coauthor Index

1	Martin C. Atkins	[3]
2	Alan Burns	[3]
3	Dave Neilson	[1]
4	Mark Nicholson	[2]

Colors in the list of coauthors