Principles of program synthesis for real-time systems on the basis of a formal logical description of the problem environment

✍ Scribed by A. A. Ros'

• Publisher: Springer US
• Year: 1986
• Tongue: English
• Weight: 702 KB
• Volume: 21
• Category: Article
• ISSN: 1573-8337
• DOI: 10.1007/bf01074713