%0 Conference Paper %1 conf/isorc/LiZJYZ04 %A Li, Xuandong %A Zhao, Jianhua %A Jiayu, Gong %A Yaoxin, Shi %A Zheng, Guoliang %B ISORC %D 2004 %I IEEE Computer Society %K dblp %P 253-256 %T Verifying Compositional Designs for Scenario-Based Timing Specifications. %U http://dblp.uni-trier.de/db/conf/isorc/isorc2004.html#LiZJYZ04 %@ 0-7695-2124-X

@inproceedings{conf/isorc/LiZJYZ04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Li, Xuandong and Zhao, Jianhua and Jiayu, Gong and Yaoxin, Shi and Zheng, Guoliang}, biburl = {https://www.bibsonomy.org/bibtex/22c7b3ddbce1baa5c21d8554182fe83ff/dblp}, booktitle = {ISORC}, crossref = {conf/isorc/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISORC.2004.1300367}, interhash = {aa9ad742c2a0f6ff9a634018b3ddabbc}, intrahash = {2c7b3ddbce1baa5c21d8554182fe83ff}, isbn = {0-7695-2124-X}, keywords = {dblp}, pages = {253-256}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:15:13.000+0200}, title = {Verifying Compositional Designs for Scenario-Based Timing Specifications.}, url = {http://dblp.uni-trier.de/db/conf/isorc/isorc2004.html#LiZJYZ04}, year = 2004 }