Automatic Synthesis of Real Time Systems

• Authors:

• Jørgen H. Andersen;Kåre J. Kristoffersen;Kim Guldstrand Larsen;Jesper Niedermann

• Affiliations:

• -;-;-;-

• Venue:
• ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
• Year:
• 1995