Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules

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

Title:	Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules
Authors:	E. Juan J. Tsai T. Murata
Issue Date:	1998
Source:	ACM Transactions on Programming Languages and Systems
URI:	http://scholars.ntou.edu.tw/handle/123456789/23042
Appears in Collections:	資訊工程學系

Show full item record

Check