Distillation with Labelled Transition Systems
| Title | Distillation with Labelled Transition Systems |
| Publication Type | Workshop Paper |
| Year of Publication | 2012 |
| Authors | Hamilton, G, Jones ND |
| Conference Name | Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation |
| Pagination | pp 15-24 |
| Date Published | 01/2012 |
| Conference Location | Philadelphia, USA |
| URL | https://sharepoint.lero.ie/Publications/2012/Workshop%20Papers/2012-Hamilton-Distillation%20with%20Labelled%20Transition%20Systems.pdf |
Printer-friendly version