Temporal and Behavior Characterization of States in Timed Systems

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