Formal methods for the synthesis of concurrent programs from temporal logic specifications

• Authors:

• Paul Camille Attie

• Affiliations:

• The Univ. of Texas at Austin

• Venue:
• Formal methods for the synthesis of concurrent programs from temporal logic specifications
• Year:
• 1995