https://scholars.lib.ntu.edu.tw/handle/123456789/105251
Title: | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | Authors: | 王 凡 Mok, A. K. Wang, Farn |
Issue Date: | Jun-1993 | Start page/Pages: | Paithersbur-g | Source: | COMPASS Conference | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/118756 |
Appears in Collections: | 資訊管理學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.