This is the title of the journal article: Verification of a sliding window protocol in µCRL and PVS.
This is the bibtex file for the same:
@article{journals/fac/BadbanFGPP05,
added-at = {2005-11-15T00:00:00.000+0100},
author = {Badban, Bahareh and Fokkink, Wan and Groote, Jan Friso and Pang, Jun and van de Pol, Jaco},
biburl = {http://www.bibsonomy.org/bibtex/2788fbd81863c8e397b18da96324b4860/dblp},
date = {2005-11-15},
description = {dblp},
ee = {http://dx.doi.org/10.1007/s00165-005-0070-0},
interhash = {2d68692f33c41a23a91f6237b2a0e572},
intrahash = {788fbd81863c8e397b18da96324b4860},
journal = {Formal Asp. Comput.},
keywords = {dblp},
number = 3,
pages = {342-388},
timestamp = {2005-11-15T00:00:00.000+0100},
title = {Verification of a sliding window protocol in µCRL and PVS.},
url = {http://dblp.uni-trier.de/db/journals/fac/fac17.html#BadbanFGPP05},
volume = 17,
year = 2005
}
But in PDF, µ symbol is missing.
This is output:

At dblp, i got the following source:
@article{DBLP:journals/fac/BadbanFGPP05,
author = {Bahareh Badban and
Wan Fokkink and
Jan Friso Groote and
Jun Pang and
Jaco van de Pol},
title = {Verification of a sliding window protocol in \^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}\^{\i}},
journal = {Formal Asp. Comput.},
volume = {17},
number = {3},
year = {2005},
pages = {342-388},
ee = {http://dx.doi.org/10.1007/s00165-005-0070-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
This doesn't work either. What should I do?


