Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.
Journal
24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan
Pages
509-515
Date Issued
2000
Author(s)
Type
conference paper