1
Published 2010
Springer Berlin Heidelberg
...Transactions on Computational Science...

2
Published 2010
Springer Berlin Heidelberg
...Transactions on Computational Science...

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... Transactions -- A Weakest Precondition Approach to Robustness -- PET SNAKE: A Special Purpose Architecture...

4
Published 2008
Springer Berlin Heidelberg
...Transactions on Computational Science...

5
Published 2020
Springer Berlin Heidelberg
...Transactions on Computational Science...

6
Published 2020
Springer Berlin Heidelberg
...Transactions on Computational Science...

7
Published 2022
Springer Berlin Heidelberg
...Transactions on Computational Science...

8
Published 2023
Springer Berlin Heidelberg
...Transactions on Computational Science...

9
Published 2009
Springer Berlin Heidelberg
...Transactions on Computational Science...