Equational reasoning on ad hoc networks

F. Ghassemi, W.J. Fokkink, A. Movaghar

Research output: Contribution to Journal › Article › Academic › peer-review

154 Downloads (Pure)

Original language	English
Pages (from-to)	113-128
Journal	Lecture Notes in Computer Science
Volume	5961
Publication status	Published - 2009

Proceedings title: Proc. 3rd Conference on Fundamentals of Software Engineering - FSEN'09
Publisher: Springer

Access to Document

@article{6b943f0b8338441c820e482e3f79c168,

title = "Equational reasoning on ad hoc networks",

author = "F. Ghassemi and W.J. Fokkink and A. Movaghar",

note = "Proceedings title: Proc. 3rd Conference on Fundamentals of Software Engineering - FSEN'09 Publisher: Springer",

year = "2009",

language = "English",

volume = "5961",

pages = "113--128",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Equational reasoning on ad hoc networks

AU - Ghassemi, F.

AU - Fokkink, W.J.

AU - Movaghar, A.

N1 - Proceedings title: Proc. 3rd Conference on Fundamentals of Software Engineering - FSEN'09 Publisher: Springer

PY - 2009

Y1 - 2009

M3 - Article

SN - 0302-9743

VL - 5961

SP - 113

EP - 128

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -