Title of article
A Resource-Based Prioritized Bisimulation for Real-Time Systems
Author/Authors
Gerber R.، نويسنده , , Lee I.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
41
From page
102
To page
142
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261417
Link To Document