73 followers
RT @LivUni_AVLab: Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking by Paul Gaine…
RT @LivUni_AVLab: Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking by Paul Gaine…
Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking by Paul Gainer, Sven Linker,Clare Dixon, Ullrich Hustadt, and Michael Fisher https://t.co/yHQjRffWLp