Sciweavers

KBSE
1997
IEEE

A Structured Approach for Synthesizing Planners from Specifications

14 years 3 months ago
A Structured Approach for Synthesizing Planners from Specifications
Biplav Srivastava, Subbarao Kambhampati, Amol Datt
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where KBSE
Authors Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali
Comments (0)