Temporal and Behavior Characterization of States in Timed Systems

Publication
23rd ACIS Annual International Conference on Computer and Information Science (ICIS02)