Satoshi Yamane. Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems. In Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin, editors, Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings. Volume 3820 of Lecture Notes in Computer Science, pages 332-345, Springer, 2005. [doi]
@inproceedings{Yamane05:0,
title = {Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems},
author = {Satoshi Yamane},
year = {2005},
doi = {10.1007/11599555_33},
url = {http://dx.doi.org/10.1007/11599555_33},
researchr = {https://researchr.org/publication/Yamane05%3A0},
cites = {0},
citedby = {0},
pages = {332-345},
booktitle = {Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings},
editor = {Laurence Tianruo Yang and Xingshe Zhou and Wei Zhao and Zhaohui Wu and Yian Zhu and Man Lin},
volume = {3820},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30881-4},
}