State machines and assertions: An integrated approach to modeling and verification of distributed systems

• Authors:

• T A Joseph;T Räuchle;S Toueg

• Affiliations:

• -;-;-

• Venue:
• Science of Computer Programming
• Year:
• 1986