A Constructive Logic for Services and Information Flow in Computer Networks

2000 ◽  
Vol 43 (4) ◽  
pp. 274-289 ◽  
Author(s):  
T. Borghuis
Author(s):  
Dmitro Trushakov ◽  
◽  
Taras Glushenko ◽  
Nuzhny Vitaliy ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document