%0 Journal Article %1 journals/isse/AsokanK23 %A Asokan, Shimmi %A Kumar, G. Santhosh %D 2023 %J Innov. Syst. Softw. Eng. %K dblp %N 3 %P 265-281 %T Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet. %U http://dblp.uni-trier.de/db/journals/isse/isse19.html#AsokanK23 %V 19

@article{journals/isse/AsokanK23, added-at = {2023-08-31T00:00:00.000+0200}, author = {Asokan, Shimmi and Kumar, G. Santhosh}, biburl = {https://www.bibsonomy.org/bibtex/28baa47946b146d6b5c2d8382246e8556/dblp}, ee = {https://doi.org/10.1007/s11334-022-00483-1}, interhash = {726e9854caee1c791275e3c363cd9dce}, intrahash = {8baa47946b146d6b5c2d8382246e8556}, journal = {Innov. Syst. Softw. Eng.}, keywords = {dblp}, month = {September}, number = 3, pages = {265-281}, timestamp = {2024-04-09T04:08:21.000+0200}, title = {Formal modeling of the gPTP clock synchronization algorithm in automotive ethernet.}, url = {http://dblp.uni-trier.de/db/journals/isse/isse19.html#AsokanK23}, volume = 19, year = 2023 }