scholarly journals Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems

2009 ◽  
Vol 230 ◽  
pp. 161-187 ◽  
Author(s):  
Viorica Sofronie-Stokkermans
1990 ◽  
Vol 160 (7) ◽  
pp. 163-164
Author(s):  
Boris B. Kadomtsev
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document