Automatic Extraction of Behavioral Models from Distributed Systems and Services.

Ioana Sora, Doru-Thom Popovici

Browse the full ENASE paper archive.