Planning And Verification Techniques For The High Level Programming And Monitoring Of Autonomous Robotic Devices (2001)

Cached

Download Links

by L. Carlucci Aiello , Amedeo Cesta , Enrico Giunchiglia , Marco Pistore , Paulo Traverso
Citations:4 - 1 self