Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/dac/MohalikRDRSPJ08
%A Mohalik, Swarup
%A Rajeev, A. C.
%A Dixit, Manoj G.
%A Ramesh, S.
%A Suman, P. Vijay
%A Pandya, Paritosh K.
%A Jiang, Shengbing
%B DAC
%D 2008
%E Fix, Limor
%I ACM
%K dblp
%P 296-299
%T Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.
%U http://dblp.uni-trier.de/db/conf/dac/dac2008.html#MohalikRDRSPJ08
%@ 978-1-60558-115-6
@inproceedings{conf/dac/MohalikRDRSPJ08,
added-at = {2019-12-11T00:00:00.000+0100},
author = {Mohalik, Swarup and Rajeev, A. C. and Dixit, Manoj G. and Ramesh, S. and Suman, P. Vijay and Pandya, Paritosh K. and Jiang, Shengbing},
biburl = {https://www.bibsonomy.org/bibtex/2286e465b497cf96bab3510d0075abf10/dblp},
booktitle = {DAC},
crossref = {conf/dac/2008},
editor = {Fix, Limor},
ee = {https://doi.org/10.1145/1391469.1391544},
interhash = {4a7e21014ab60be22ea45d90e9029782},
intrahash = {286e465b497cf96bab3510d0075abf10},
isbn = {978-1-60558-115-6},
keywords = {dblp},
pages = {296-299},
publisher = {ACM},
timestamp = {2019-12-12T11:40:38.000+0100},
title = {Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac2008.html#MohalikRDRSPJ08},
year = 2008
}