A methodology for model−checking ad−hoc networks

Autor:	Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul Gardiner
Rok vydání:	2016
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d6c151d9da55f968f10b17ab4fbdb4bd https://ora.ox.ac.uk/objects/uuid:fc3fa8ed-d09b-49bb-81c8-5cd46fa1bd29 Zobrazit plný text záznamu