View of A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)

Return to Article Details A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version) Download Download PDF