Nr. 52 (1995): RS-52 Deciding Regularity in Process Algebras

Publiceret: 1995-10-22

Artikler