Report copyright - Introduction to the Workshop on Logics for Resource ...psznza/lrba15/workshop-intro.pdf · Logics for reasoning about resources Introduction Model-checking for Resource Logics for
Please pass captcha verification before submit form