Framework for Verification of Preserved and Redeployed Processes

Tomasz Miksa, Stefan Pröll, Rudolf Mayer, Stephan Strodl, Ricardo Vieira, José Barateiro, Andreas Rauber. Framework for Verification of Preserved and Redeployed Processes. In José Borbinha, Michael Nelson, Steve Knight, editors, Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013. 2013. [doi]

@inproceedings{MiksaPMSVBR13,
  title = {Framework for Verification of Preserved and Redeployed Processes},
  author = {Tomasz Miksa and Stefan Pröll and Rudolf Mayer and Stephan Strodl and Ricardo Vieira and José Barateiro and Andreas Rauber},
  year = {2013},
  url = {http://hdl.handle.net/11353/10.378039},
  researchr = {https://researchr.org/publication/MiksaPMSVBR13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013},
  editor = {José Borbinha and Michael Nelson and Steve Knight},
}