On checking timed automata for linear duration invariants

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 1998, Pages 264-273

  Braberman, Victor Adrian ^a   Van Hung, Dang ^a  

^a UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; LINEAR PROGRAMMING; REAL TIME SYSTEMS;

DURATION CALCULUS; LINEAR DURATION INVARIANTS; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 0032299325     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)