|
nb. next round of REF2013 will NOT be using data from eprints.ecs, but the central university REF interface.
|
Items from Current ECS Groups > IT Innovation Centre in 1994
|
||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
![]() | Up a level |
Mitchell, B. (1994) Expressiveness for Highly Nested Expressions in Linear Temporal Logic. Journal of Logic and Computation, 4 (3). pp. 263-272. ISSN 0955-792X
Reeve, J. S. and Surridge, M. (1994) Parallelisation of Implicit Finite Volume Solves. In: Parallel Computational Fluid Dynamics.
Scott, C. J., Surridge, M. and Hey, A. J. G. (1994) Simulation and modelling applications on MPP Systems. In: International Conference on "Massively Parallel Processing Applications and Development".
|
The ECS EPrints Repository supports
OAI 2.0 with a base URL of
http://eprints.ecs.soton.ac.uk/cgi/oai2 EPrints is free software developed by the University of Southampton to facilitate Open Access to research. |
![]() |