Formal-language theoretic techniques to solve design and fault management problems in computer network protocols and other discrete-event systems

• Authors:

• Samir G. Kelekar

• Affiliations:

• Columbia Univ., New York, NY

• Venue:
• Formal-language theoretic techniques to solve design and fault management problems in computer network protocols and other discrete-event systems
• Year:
• 1994