Bouroche, Melanie, Trinity College Dublin, Ireland
-
Volume 45: Formal Methods for Interactive Systems 2011 - Articles
A Process Algebraic Description of a Temporal Wireless Network Protocol
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.