A formal technique to analyze real-time systems.

Ji Wang, Huowang Chen

Browse the full COMPSAC paper archive.