Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Proceedings IFIP WG5.2 Workshop on Formal Design Methods for CAD
| Editors: | MISSING
| Book#: | MISSING
| Publisher: | MISSING
| Volume: | MISSING
| Pages: | 249-270
| |
Paper in Conference Proceedings #688 | |
Title: | Solving Design Problems by Computational Exploration |
---|---|
Authors: | Corne,D; Smithers,T; Ross,PM |
Date: | 1993 |
Presented: | |
Keywords: |