Search for persons
X
?
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing ,
1
A formal analysis of Dutch Generic Integral Tunnel Design m..:
, In:
?
Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning ,
2