Thomas Emerson

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 EE Thomas Emerson, Mark H. Burstein: Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. ASE 1999: 267-270

1999
1	EE	Thomas Emerson, Mark H. Burstein: Development of a Constraint-Based Airlift Scheduler by Program Synthesis from Formal Specifications. ASE 1999: 267-270

Coauthor Index

1 Mark H. Burstein [1]