ICALP
1987
Springer
A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems
14 years 3 months ago
Alain Finkel
Added |
28 Aug 2010 |
Updated |
28 Aug 2010 |
Type |
Conference |
Year |
1987 |
Where |
ICALP |
Authors |
Alain Finkel |
Comments (0)