Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)

• Authors:

• Michael Butler;Cliff Jones;Alexander Romanovsky;Elena Troubitsyna

• Affiliations:

• -;-;-;-

• Venue:
• Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science)
• Year:
• 2007