Non-regular Adaptation of Services Using Model Checking.

Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama

Browse the full ISORC paper archive.