Artikel in einem Konferenzbericht,
Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network.
B. Tripathy, A. Sudhir, P. Bera, und M. Rahman.COMPSAC (1), Seite 548-556. IEEE Computer Society, (2017)
Metadaten
- BibTeX-Schlüssel
- conf/compsac/TripathySBR17
- Eintragstyp
- inproceedings
- Buchtitel
- COMPSAC (1)
- Jahr
- 2017
- Seiten
- 548-556
- Verlag
- IEEE Computer Society
- BibTeX-Querverweis
- conf/compsac/2017-1
- ee
- https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.132
- isbn
- 978-1-5386-0367-3
- URL
- http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#TripathySBR17
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%0 Conference Paper
%1 conf/compsac/TripathySBR17
%A Tripathy, Bata Krishna
%A Sudhir, Ashray
%A Bera, Padmalochan
%A Rahman, Mohammad Ashiqur
%B COMPSAC (1)
%D 2017
%E Reisman, Sorel
%E Ahamed, Sheikh Iqbal
%E Demartini, Claudio
%E Conte, Thomas M.
%E Liu, Ling
%E Claycomb, William R.
%E Nakamura, Motonori
%E Tovar, Edmundo
%E Cimato, Stelvio
%E Lung, Chung-Horng
%E Takakura, Hiroki
%E Yang, Ji-Jiang
%E Akiyama, Toyokazu
%E Zhang, Zhiyong
%E Hasan, Kamrul
%I IEEE Computer Society
%K dblp
%P 548-556
%T Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#TripathySBR17
%@ 978-1-5386-0367-3
@inproceedings{conf/compsac/TripathySBR17,
added-at = {2024-10-06T00:00:00.000+0200},
author = {Tripathy, Bata Krishna and Sudhir, Ashray and Bera, Padmalochan and Rahman, Mohammad Ashiqur},
biburl = {https://www.bibsonomy.org/bibtex/27e4c08592e4325e3a91971a30ca88dc3/dblp},
booktitle = {COMPSAC (1)},
crossref = {conf/compsac/2017-1},
editor = {Reisman, Sorel and Ahamed, Sheikh Iqbal and Demartini, Claudio and Conte, Thomas M. and Liu, Ling and Claycomb, William R. and Nakamura, Motonori and Tovar, Edmundo and Cimato, Stelvio and Lung, Chung-Horng and Takakura, Hiroki and Yang, Ji-Jiang and Akiyama, Toyokazu and Zhang, Zhiyong and Hasan, Kamrul},
ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2017.132},
interhash = {48d59f10c89e52a83d033fc0b4fc0ad0},
intrahash = {7e4c08592e4325e3a91971a30ca88dc3},
isbn = {978-1-5386-0367-3},
keywords = {dblp},
pages = {548-556},
publisher = {IEEE Computer Society},
timestamp = {2024-10-07T08:09:25.000+0200},
title = {Formal Modelling and Verification of Requirements of Adaptive Routing Protocol for Mobile Ad-Hoc Network.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2017-1.html#TripathySBR17},
year = 2017
}