Behavior-Based Model Construction.

Bernhard Steffen, Hardi Hungar

Browse the full VMCAI paper archive.