TitleA process algebraic description of a temporal wireless network protocol
Publication TypeWorkshop Paper
Year of Publication2011
AuthorsBhandal C, Bouroche M, Hughes A
URLhttp://hdl.handle.net/10344/3657