Sciweavers

ICALP
1987
Springer

A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems

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