Visning af: A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)

Tilbage til artikeldetaljer A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) Download Download PDF