Compositional Verification of Concurrent and Real-Time Systems

Please use this identifier to cite or link to this item: http://scholars.ntou.edu.tw/handle/123456789/23037

Title:	Compositional Verification of Concurrent and Real-Time Systems
Authors:	J. Tsai E. Juan
Issue Date:	2002
Source:	Kluwer Academic Publishers
URI:	http://scholars.ntou.edu.tw/handle/123456789/23037
Appears in Collections:	資訊工程學系

Show full item record

Check