Alle Veröffentlichungen

@article{Klohs200595,
  author = {Karsten Klohs AND Uwe Kastens},
  title = {Memory Requirements of Java Bytecode Verification on Limited Devices},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2005},
  volume = {132},
  number = {1},
  pages = {95 - 111},
  month = {},
  note = {Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2004)}
}