%0 Conference Paper %1 conf/cacsd/MohalikCDRR13 %A Mohalik, Swarup %A Chokshi, Devesh B. %A Dixit, Manoj G. %A Rajeev, A. C. %A Ramesh, S. %B CACSD %D 2013 %I IEEE %K dblp %P 19-24 %T Scalable model-checking for precise end-to-end latency computation. %U http://dblp.uni-trier.de/db/conf/cacsd/cacsd2013.html#MohalikCDRR13

@inproceedings{conf/cacsd/MohalikCDRR13, added-at = {2019-12-11T00:00:00.000+0100}, author = {Mohalik, Swarup and Chokshi, Devesh B. and Dixit, Manoj G. and Rajeev, A. C. and Ramesh, S.}, biburl = {https://www.bibsonomy.org/bibtex/2c3bb8c7bc8e7adace22e1f4c1814042f/dblp}, booktitle = {CACSD}, crossref = {conf/cacsd/2013}, ee = {https://doi.org/10.1109/CACSD.2013.6663476}, interhash = {579aca20c175651f6b7c3fc3fa180990}, intrahash = {c3bb8c7bc8e7adace22e1f4c1814042f}, keywords = {dblp}, pages = {19-24}, publisher = {IEEE}, timestamp = {2019-12-12T11:42:32.000+0100}, title = {Scalable model-checking for precise end-to-end latency computation.}, url = {http://dblp.uni-trier.de/db/conf/cacsd/cacsd2013.html#MohalikCDRR13}, year = 2013 }