|
@inproceedings{TKW00, author = {Juergen Teich and Philipp W. Kutter and Ralph Weper}, title = {Description and Simulation of Microprocessor Instruction Sets Using ASMs}, address = {Monte Verita, Switzerland}, booktitle = {Lecture Notes in Computer Science. International Workshop on Abstract State Machines, Theory and Applications}, pages = {266--286}, volume = {1912}, month = {Mar}, year = {2000} }