@inproceedings{conf/dsrt/OzutamO99,
title = {Analysis of Dead Reckoning Procedures by Using Hybrid Automata.},
author = {Bahadir Kaan Ozutam and Halit Oguztuzun},
booktitle = {DIS-RT},
crossref = {conf/dsrt/1999},
pages = {22-},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/dsrt/disrt1999.html#OzutamO99},
year = {1999},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/DISRTA.1999.807722}, isbn = {0-7695-0459-0}, date = {2005-04-19},
keywords = {dblp }
}
::