Code generation based on formal BURS theory and heuristic search (1997)
by
A. Nymeyer
,
J.-P. Katoen
| Venue: | Acta Informatica |
| Citations: | 18 - 2 self |
Document Versions
| Code generation based on formal BURS theory and heuristic search –A. Nymeyer, J.-P. Katoen — 1997 — Acta Informatica |
| Code generation based on formal BURS theory and heuristic search –A. Nymeyer, J.-P. Katoen — 1995 |
