Equational reasoning on ad hoc networks

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

Research output: Contribution to JournalArticleAcademicpeer-review

140 Downloads (Pure)
Original languageEnglish
Pages (from-to)113-128
JournalLecture Notes in Computer Science
Volume5961
Publication statusPublished - 2009

Bibliographical note

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

Cite this