@inproceedings{Lezuo:2012:UPM:2345997.2346028,
 author = {Lezuo, Roland and Krall, Andreas},
 title = {A unified processor model for compiler verification and simulation using ASM},
 booktitle = {Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z}, 
 series = {ABZ'12},
 year = {2012}, 
 isbn = {978-3-642-30884-0},
 location = {Pisa, Italy}, 
 pages = {327--330},
 numpages = {4},
 url = {http://dx.doi.org/10.1007/978-3-642-30885-7_24},
 doi = {10.1007/978-3-642-30885-7_24},
 acmid = {2346028},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}