90 followers
LTL Model Checking under Fairness in ProB by Ivaylo Dobrikov, Daniel Plagge and Michael Leuschel https://t.co/Swhs2BdTg2 #sefm16 #staf16
LTL Model Checking under Fairness in ProB by Ivaylo Dobrikov, Daniel Plagge and Michael Leuschel https://t.co/Swhs2BdTg2 #sefm16 #staf16