Composing Symbolic Trajectory Evaluation Results

• Authors:

• Scott Hazelhurst;Carl-Johan H. Seger

• Affiliations:

• -;-

• Venue:
• CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
• Year:
• 1994