Colm Bhandal

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Colm Bhandal, Mélanie Bouroche, Arthur Hughes
An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. EUC (2011)
Colm Bhandal, Mélanie Bouroche, Arthur Hughes
A Process Algebraic Description of a Temporal Wireless Network Protocol. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011)