Performance evaluation of process partitioning using probabilistic model checking
- Saddek Bensalem
- , Borzoo Bonakdarpour
- , Marius Bozga
- , Doron Peled
- , Jean Quilbeuf
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review