scholarly journals Refinement Checking Parameterised Quorum Systems

Author(s):  
Antti Siirtola
1999 ◽  
Vol 71 (1) ◽  
pp. 35-42 ◽  
Author(s):  
Tatsuhiro Tsuchiya ◽  
Nobuhiko Ido ◽  
Tohru Kikuno

2015 ◽  
Vol 97 ◽  
pp. 383-404 ◽  
Author(s):  
Bernhard K. Aichernig ◽  
Elisabeth Jöbstl ◽  
Stefan Tiran

2020 ◽  
Vol 167 ◽  
pp. 110598
Author(s):  
José Dihego ◽  
Augusto Sampaio ◽  
Marcel Oliveira
Keyword(s):  

2010 ◽  
Vol 22 (3) ◽  
pp. 197-214 ◽  
Author(s):  
Yuh-Jzer Joung

2001 ◽  
Vol 170 (2) ◽  
pp. 184-206 ◽  
Author(s):  
Dahlia Malkhi ◽  
Michael K Reiter ◽  
Avishai Wool ◽  
Rebecca N Wright
Keyword(s):  

Author(s):  
Michael G. Merideth ◽  
Michael K. Reiter
Keyword(s):  

2020 ◽  
Vol 198 ◽  
pp. 102517
Author(s):  
Antti Siirtola ◽  
Keijo Heljanko
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document