Nr. 4 (1999): RS-4 On Plain and Hereditary History-Preserving Bisimulation

Publiceret: 1999-01-04

Artikler