发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc. Press Eighth Euromicro Workshop on Real-Time Systems - L'Aquila, Italy (12-14 June 1996)] Proceedings of the Eighth Euromicro Workshop on Real-Time Systems - The symbolic model-checking for real-time systems

[IEEE Comput. Soc. Press Eighth Euromicro Workshop on Real-Time Systems - L'Aquila, Italy (12-14 June 1996)] Proceedings of the Eighth Euromicro Workshop on Real-Time Systems - The symbolic model-checking for real-time systems

Yamane, S.

作者Yamane, S.
文件大小519.76KB
发表时间1996
DOI10.1109/emwrts.1996.557829
页码108-113

← 返回【学霸图书馆】主页