Open Access
Electronic Proceedings in Theoretical Computer Science, EPTCS, volume 60, pages 56-65
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
Publication type: Journal Article
Publication date: 2011-08-06
SJR: 0.370
CiteScore: 1.1
Impact factor: —
ISSN: 20752180
Psychiatry and Mental health
Found
Found
Top-30
Journals
|
1
2
3
|
|
|
Lecture Notes in Computer Science
3 publications, 75%
|
|
|
Formal Aspects of Computing
1 publication, 25%
|
|
|
1
2
3
|
Publishers
|
1
2
3
4
|
|
|
Springer Nature
4 publications, 100%
|
|
|
1
2
3
4
|
- We do not take into account publications without a DOI.
- Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Cite this
GOST |
RIS |
BibTex
Cite this
GOST
Copy
Delzanno G., Sangnier A., Zavattaro G. Parameterized Verification of Safety Properties in Ad Hoc Network Protocols // Electronic Proceedings in Theoretical Computer Science, EPTCS. 2011. Vol. 60. pp. 56-65.
GOST all authors (up to 50)
Copy
Delzanno G., Sangnier A., Zavattaro G. Parameterized Verification of Safety Properties in Ad Hoc Network Protocols // Electronic Proceedings in Theoretical Computer Science, EPTCS. 2011. Vol. 60. pp. 56-65.
Cite this
RIS
Copy
TY - JOUR
DO - 10.4204/EPTCS.60.4
UR - https://doi.org/10.4204/EPTCS.60.4
TI - Parameterized Verification of Safety Properties in Ad Hoc Network Protocols
T2 - Electronic Proceedings in Theoretical Computer Science, EPTCS
AU - Delzanno, G
AU - Sangnier, A
AU - Zavattaro, G
PY - 2011
DA - 2011/08/06
PB - electronic proceedings in theoretical computer science, eptcs
SP - 56-65
VL - 60
SN - 2075-2180
ER -
Cite this
BibTex (up to 50 authors)
Copy
@article{2011_Delzanno,
author = {G Delzanno and A Sangnier and G Zavattaro},
title = {Parameterized Verification of Safety Properties in Ad Hoc Network Protocols},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
year = {2011},
volume = {60},
publisher = {electronic proceedings in theoretical computer science, eptcs},
month = {aug},
url = {https://doi.org/10.4204/EPTCS.60.4},
pages = {56--65},
doi = {10.4204/EPTCS.60.4}
}