No. 4 (1997): RS-04 Bisimulation for Labelled Markov Processes

Published: 1997-01-04

Articles