1 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Linguistic and computational analysis of word order and scrambling in Persian
|
|
Rezaei, Siamak. - : University of Edinburgh. College of Science and Engineering. School of Informatics., 2000
|
|
BASE
|
|
Show details
|
|
|
|