Search for persons
X
?
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing ,
4
Temporal Logic Formalisation of ISO 34502 Critical Scenario..:
, In:
?
Lecture Notes in Computer Science; Learning and Collaboration Technologies ,
14