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