%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 }