Nr. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable

Publiceret: 1999-01-19

Artikler