A Modular Approach to Formal Modelling of Peer-to-Peer Networks

Research output: Book/Journal/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science (TUCS)
ISBN (Print)978-952-12-2720-2
Publication statusPublished - 2012
MoE publication typeD4 Published development or research report or study

Cite this