Tilbage til artikeldetaljer
Bisimulation for Labelled Markov Processes
Download
Download PDF