Tilbage til artikeldetaljer
Behavioural Equivalence for Infinite Systems—Partially Decidable!
Download
Download PDF