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