scholarly journals Correction to: Sound reasoning in tock-CSP

2021 ◽  
Author(s):  
James Baxter ◽  
Pedro Ribeiro ◽  
Ana Cavalcanti
Sign in / Sign up

Export Citation Format

Share Document