Title of article
Time-Abstracted Bisimulation: Implicit Specifications and Decidability
Author/Authors
Kim G. Larsen، نويسنده , , Yi Wang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1997
Pages
27
From page
75
To page
101
Journal title
Information and Computation
Serial Year
1997
Journal title
Information and Computation
Record number
261708
Link To Document