Colm Bhandal

According to our database¹, Colm Bhandal authored at least 2 papers in 2011.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2011

A Process Algebraic Description of a Temporal Wireless Network Protocol.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011