Distillation with Labelled Transition Systems
You are here
| Title | Distillation with Labelled Transition Systems |
| Publication Type | Workshop Paper |
| Year of Publication | 2012 |
| Authors | Hamilton G, Jones N.D. |
| URL | http://ulir.ul.ie/handle/10344/2374 |
| Title | Distillation with Labelled Transition Systems |
| Publication Type | Workshop Paper |
| Year of Publication | 2012 |
| Authors | Hamilton G, Jones N.D. |
| URL | http://ulir.ul.ie/handle/10344/2374 |
Copyright 2024 Lero
