The Real-Time Graphical Interval Logic Toolset

• Authors:

• Louise E. Moser;P. M. Melliar-Smith;Y. S. Ramakrishna;G. Kutty;Laura K. Dillon

• Affiliations:

• -;-;-;-;-

• Venue:
• CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
• Year:
• 1996