Nr. 55 (1995): RS-55 Behavioural Equivalence for Infinite Systems—Partially Decidable!

Publiceret: 1995-11-25

Artikler