Analysis and testing of PLEXIL plans.

Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry

Browse the full ICSE paper archive.