Automatic verification of real-timed systems using Epsilon

• Authors:

• Jens Chr. Godskesen;Kim G. Larsen;Arne Skou

• Affiliations:

• -;-;-

• Venue:
• PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
• Year:
• 1995