Search for persons
X
?
Lecture Notes in Computer Science; Formal Methods: Foundations and Applications ,
1
CSP Specification and Verification of a Relay-Based Railway..:
, In:
?
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing ,
2