245 followers
Model Checking Parameterized Asynchronous Shared-Memory Systems. - Antoine Durand-Gasselin, Javier Esparza, Pierre… http://t.co/meK8Vtm40E
Model Checking Parameterized Asynchronous Shared-Memory Systems. - Antoine Durand-Gasselin, Javier Esparza, Pierre… http://t.co/meK8Vtm40E