BibTeX记录conf/iccta/ShaR07
@进行中{DBLP:conf/iccta/ShaR07， author={Indranil Saha和 苏曼·罗伊}， title={时间触发{CAN}{（TTCAN）}协议的有限状态分析 使用Spin}， booktitle={2007国际计算机会议：理论与应用 {（ICCTA}2007），2007年3月5日至7日，印度加尔各答}， 页数={77--81}， publisher＝｛｛IEEE｝计算机协会｝， 年份＝{2007}， url={ https://doi.org/10.1109/ICCTA.2007.4 }, doi={10.1109/ICCTA.2007.4}， 时间戳＝{2023年3月24日星期五00:04:23+0100}， biburl={ https://dblp.org/rec/conf/iccta/ShaaR07.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
