Back to Results
First PageMeta Content
Bensalem / Neil Immerman / Workflow / Workflow technology / Azadeh / Farzan


Verification and Validation of Planning and Scheduling Systems (VVPS) Organizers: Saddek Bensalem, Klaus Havelund, Andrea Orlandini Date and Location: June 13, 2011, HallComputer Science Campus 09:00–1
Add to Reading List

Document Date: 2013-04-15 04:51:39

Open Document

File Size: 1,64 MB

Share Result on Facebook

City

Darmstadt / /

Facility

Computer Science Campus / /

Organization

ESA Robotic Mission / /

Person

Shlomo Zilberstein / Azadeh Farzan / Robert P. Goldman / Alberto Finzi / Michael Huth / Guy Vidal-Naquet / Marco Roveri / Michael Pelican / Simone Fratini / Neil Immerman / Sheila McIlraith / Vincent David / Klaus Havelund / Anna Roubickova / Christophe Aussaguès / Andrea Orlandini / Ilias Garnier / Siddharth Srivastava / Maria Fox / /

Technology

ESA / /

SocialTag