Edelkamp, S., S. Jabbar and A. Lluch-Lafuente, Action planning for graph transition systems, in: International Conference on Automated Planning and Scheduling (ICAPS). Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 2005.

 Home/Search   Document Details and Download   Summary   Related Articles  

This paper is cited in the following contexts:
Action Planning for Directed Model Checking of Petri Nets - Edelkamp, Jabbar (2005)   Self-citation (Edelkamp Jabbar)   (Correct)

No context found.

Edelkamp, S., S. Jabbar and A. Lluch-Lafuente, Action planning for graph transition systems, in: International Conference on Automated Planning and Scheduling (ICAPS). Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems, 2005.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC