Nr. 25 (2002): RS-25 Deciding Framed Bisimilarity

Publiceret: 2002-01-25

Artikler