Satoshi Yamane. Formal Timing Verification Techniques for Distributed System . In 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings. pages 454-460, IEEE Computer Society, 1995. [doi]
@inproceedings{Yamane95,
title = {Formal Timing Verification Techniques for Distributed System },
author = {Satoshi Yamane},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/ftdcs/1995/7125/00/71250454abs.htm},
researchr = {https://researchr.org/publication/Yamane95},
cites = {0},
citedby = {0},
pages = {454-460},
booktitle = {5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings},
publisher = {IEEE Computer Society},
}