Browsing by Author 1876
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Sep-2013 | Framework for Verification of Preserved and Redeployed Processes | Miksa, T.; Pröll, S.; Mayer, R.; Strodl, S.; Vieira, R. J. C.; Barateiro, J.; Rauber, A. |