Translation Validation for System Abstractions

In: 7th Workshop on Runtime Verification (RV'07), Vancouver, Canada. LNCS. volume 4839, March, 2007

Authors

• Jan Olaf Blech
• Ina Schaefer
• Arnd Poetzsch-Heffter

Full Text

• PDF: BlechSchaeferAPH-RV07.pdf
• PS.GZ: BlechSchaeferAPH-RV07.ps.gz

BibTeX

@InProceedings{BlechSchaeferPH2007, 
   author = {Jan Olaf Blech and Ina Schaefer and Arnd Poetzsch-Heffter}
   title = {Translation Validation for System Abstractions},
   booktitle = {7th Workshop on Runtime Verification (RV'07), Vancouver, Canada},
   journal = {LNCS},
   publisher = {Springer},
   month = {March},
   year = {2007},
}