Unification & sharing in timed automata verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2648, Issue , 2003, Pages 225-229

  David, Alexandre ^a   Behrmann, Gerd ^b   Larsen, Kim G ^b   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ROBOTS;

EXPERIMENTAL EVALUATION; MEMORY SAVINGS; REACHABILITY ANALYSIS; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 35248844099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44829-2_15     Document Type: Article

References (2)

1. S. Christensen and L. M. Kristensen. State space analysis of hierarchical coloured petri nets. In B. Farwer, D. Moldt, and M-O. Stehr, editors, Proceedings of PNSE'97, number 205, pages 32-43, Hamburg, Germany, 1997.
2. Gianfranco F. Ciardo and David M. Nicol. Automated parallelization of discrete state-space generation. In Journal of Parallel and Distributed Computing, volume 47, pages 153-167. ACM, 1997.