72 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
Statistical abstraction for multi-scale spatio-temporal systems. https://t.co/SopnwmWYjW
Statistical abstraction for multi-scale spatio-temporal systems https://t.co/KmKclpy5a1