Entry Ghassemi:2011:VMA from tcs2010.bib
Last update: Sun Mar 31 03:12:29 MDT 2019
Top |
Symbols |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Ghassemi:2011:VMA,
author = "Fatemeh Ghassemi and Wan Fokkink and Ali Movaghar",
title = "Verification of mobile ad hoc networks: an algebraic
approach",
journal = j-THEOR-COMP-SCI,
volume = "412",
number = "28",
pages = "3262--3282",
day = "20",
month = jun,
year = "2011",
CODEN = "TCSCDI",
ISSN = "0304-3975 (print), 1879-2294 (electronic)",
ISSN-L = "0304-3975",
bibdate = "Tue Aug 30 18:51:35 MDT 2011",
bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs2010.bib",
acknowledgement = ack-nhfb,
fjournal = "Theoretical Computer Science",
journal-URL = "http://www.sciencedirect.com/science/journal/03043975/",
}
Related entries
- ad,
508(z)16,
540(z)103,
553(z)1
- algebraic,
411(19)1918,
412(4)448,
412(20)1916,
412(27)2988,
429(1)164,
430(1)73,
478(z)1,
479(z)43,
491(z)1,
497(z)123,
520(z)51,
534(z)45,
546(z)132,
548(z)25,
549(z)146,
558(z)35
- approach,
411(1)91,
411(34)3255,
412(1)97,
412(3)246,
412(35)4721,
412(42)5926,
413(1)2,
429(1)282,
432(1)77,
433(1)20,
440(0)29,
450(1)92,
452(1)12,
457(1)59,
461(1)76,
471(z)1,
479(z)22,
479(z)99,
493(z)15,
499(z)51,
513(z)25,
527(z)1,
538(z)70,
538(z)124,
548(z)25,
548(z)98
- hoc,
508(z)16,
553(z)1
- mobile,
411(14)1567,
411(14)1638,
411(21)2140,
411(26)2433,
412(12)1066,
412(33)4350,
412(46)6469,
412(50)6897,
444(1)77,
470(z)23,
478(z)118,
509(z)97,
509(z)113,
524(z)59,
552(z)99,
553(z)1,
557(z)1
- verification,
411(20)2019,
411(22)2174,
411(50)4333,
446(1)48,
493(z)1,
518(z)64,
523(z)1,
537(z)29,
549(z)61,
560(z)364