Publications by Daniel Owen - ePrints

Newcastle Authors	Title	Year
Daniel Owen	[PhD Thesis] Incorporating faults and fault-tolerance into real-time networks: a graph-transformational approach	2005
Daniel Owen Dr Paul Ezhilchelvan	Verifiable Fault-Tolerant Transformation of a Real-Time Legacy System	2002
Daniel Owen	Towards the formal analysis of a group communication protocol	2001